Light

benjaminfjones Goto Github PK

followers: 51.0 following: 11.0 repos: 66.0 gists: 12.0

Name: Benjamin Jones

Type: User

Company: AWS

Bio: Studied math, physics, and computer science in college, did a Ph.D. in math, currently working for AWS from Portland, OR.

Location: Portland, OR

Blog: http://bfj7.com

👋 Hi, I’m Benjamin F Jones, @benjaminfjones
👀 I’m interested in mathematics, formal methods, programming languages, running, and cycling
🌱 I’m currently practicing logic and automated reasoning
💞️ I’m looking to collaborate on looking for the one who is looking
📫 How to reach me benjaminfjones@ GMAIL, bfj@ AMAZON, benjaminfjones@ GITHUB

Benjamin Jones's Projects

abcbridge

Haskell bindings for ABC

advent-of-code-2016

Advent of Code 2016 Submissions (all Haskell)

advent-of-code-2018

Advent of Code 2018

advent-of-code-2019

Advent of Code 2019 Solutions in Haskell and Python

advent-of-code-2020

Advent of Code 2020 - Rust edition

advent-of-code-2021

Advent of Code 2021 - Solutions in Rust

advent-of-code-2022

atom-fib

Atom (Haskell eDSL) example of device/driver pair

bench

Simple command line benchmarker for an odd class of command line tools

benjaminfjones

Config files for my GitHub profile.

benjaminfjones.github.io

GitHub User Site

blt

Lattice-based integer linear programming solver

boyo

Hardware specification experiments in CLaSH

chatter

coquille

Interactive theorem proving with Coq in vim.

cortho

Compiler project for a small core functional language

dash.vim

Search Dash.app from Vim

deck.js

Modern HTML Presentations

development-ansible

Ansible configuration to provision an open-source development machine

development-container

A container for open-source development

dotfiles

My merged dotfiles

dotfiles-galois

My dotfiles at Galois

export_pass

Export tools for pass and import tools for LastPass

ffpigeon

Simple proof developments of pigeon hole principal like theorems in Lean 4

fortsetzung

Experiments with Continuations, callCC, and backtracking

fpga-led-counter

Blinkenlights on FPGA (Xilinx Spartan 6 + Verilog)

fpga-tunes

Audio synthesis using an FPGA

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

jzmq

Java binding for 0MQ

kickstart.nvim

A launch point for your personal nvim configuration

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.