Pinned Repositories
arrow
Functional programming traits and monadic/arrow interpreter
cozy-reads
Read books, track your habits
decepticon
Learning about machine learning in Rust
distribufy
Distributed Stopify
gogit
A CLI for interfacing with GitHub
lambda-pi
A repl for a dependently typed functional language implemented in OCaml.
mix_proto
Prototype implementation of MIX (hybrid type-checking/symbolic execution engine)
rust_ofp
OpenFlow 1.0 protocol and controller in Rust.
frenetic
The Frenetic Programming Language and Runtime System
Stopify
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
baxtersa's Repositories
baxtersa/rust_ofp
OpenFlow 1.0 protocol and controller in Rust.
baxtersa/distribufy
Distributed Stopify
baxtersa/lambda-pi
A repl for a dependently typed functional language implemented in OCaml.
baxtersa/decepticon
Learning about machine learning in Rust
baxtersa/arrow
Functional programming traits and monadic/arrow interpreter
baxtersa/cozy-reads
Read books, track your habits
baxtersa/gogit
A CLI for interfacing with GitHub
baxtersa/mix_proto
Prototype implementation of MIX (hybrid type-checking/symbolic execution engine)
baxtersa/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
baxtersa/raspi_os
Implementing a bare bones operating system for the Raspberry Pi
baxtersa/adapton.rust
Nominal Adapton in Rust
baxtersa/adapton_graph
Incremental graph data structure and algorithms in Rust
baxtersa/baxtersa.github.io
Personal webpage
baxtersa/boule
A simple tracker for your baking progression.
baxtersa/compsci631
Support code for Programming Languages (COMPSCI631)
baxtersa/DefinitelyTyped
The repository for high quality TypeScript type definitions.
baxtersa/dotfiles
config files for various things
baxtersa/frenetic
The Frenetic Programming Language and Runtime System
baxtersa/incubator-openwhisk
Apache OpenWhisk is a serverless event-based programming service and an Apache Incubator project.
baxtersa/incubator-openwhisk-apigateway
A performant API Gateway based on Openresty and NGINX
baxtersa/lpi-browser-repl
A browser based repl for a small dependently typed language
baxtersa/nanomsg
nanomsg library
baxtersa/pantry
A playground for learning Electron and React development
baxtersa/Spring2017