Type: User
Location: New York
Hi! I'm a programmer with interests in functional programming, formal methods, vintage computing, compilers, and language design. You can find me around the web:
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
alpaca-rs
An (unfinished) rust API for alpaca.markets
c-lambda-calculus
The untyped lambda calculus, in C
coq-record-update
Library to create Coq record update functions
emacs.d
~/.emacs.d
gameboy-chip8
CHIP-8 running on the gameboy
gameboy-of-life
Conway's Game of Life on the Gameboy
gamecube-usb
USB adapter for GameCube controllers
jtmcx
README for GitHub
laf
A C++ library to create desktop applications
mltt-church-rosser
Coq Proof of the Church-Rosser Theorem for Martin-Löf's Type Theory
moody
Fork of moody with support for solaire-mode
nixpkgs
Nix Packages collection
ordered-dithering
A simple farbfeld dithering filter.
pg
Fork of Proof General with extra language support
rope
An implementation of a rope data structure in C, with a minimal ed-like shell. Currently lacks features, especially in the shell.
stt
A toy programming language that uses set-theoretic types
tapl-lprolog
λProlog translations of programming languages from the book "Types and Programming Languages"
tlc
Library for Classical Coq
verilog-monitor
Stream farbfeld images to a monitor using an FPGA
void-packages
The Void source packages collection
vst
Verified Software Toolchain
wacc
Implementation of the C compiler from the book 'Writing a C Compiler' by Nora Sandler
wgldap
OpenBSD utility to pull wireguard configurations from LDAP
whitenoise
Generate infinite white noise using sndio
writing-a-c-compiler-tests
Test cases for Writing a C Compiler
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 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.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
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.
