Pinned Repositories
aether-onramp
AlphaRegexPublic
behavioral-model
Rewrite of the behavioral model as a C++ project without auto-generated code (except for the PD interface)
brx
Boomerang Regular Expressions
CSStipendRankings
https://csstipendrankings.org
ocaml-re-nfa
OCaml code to construct an NFA from a regular expression
oodds
Object-Oriented Design and Data Structures
reverse
Reversible Lambda Calculus
jnfoster's Repositories
jnfoster/ocaml-re-nfa
OCaml code to construct an NFA from a regular expression
jnfoster/brx
Boomerang Regular Expressions
jnfoster/oodds
Object-Oriented Design and Data Structures
jnfoster/reverse
Reversible Lambda Calculus
jnfoster/aether-onramp
jnfoster/AlphaRegexPublic
jnfoster/behavioral-model
Rewrite of the behavioral model as a C++ project without auto-generated code (except for the PD interface)
jnfoster/CSStipendRankings
https://csstipendrankings.org
jnfoster/kimbruce
jnfoster/krixly.github.io
CMSC 320 Final by Zhi Lang, Seth Rabin comparing the CS undergraduate departments at various universities based on ranking, faculty, and student numbers.
jnfoster/ocaml-cstruct
Map OCaml arrays onto C-like structs
jnfoster/ocaml-z3
jnfoster/netkat
Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
jnfoster/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
jnfoster/p4-hlir
jnfoster/p4-spec
jnfoster/p4c
P4_16 reference compiler
jnfoster/pcminer
PC-miner tool for program chairs
jnfoster/tutorials
P4 language tutorials
jnfoster/web
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
jnfoster/www
The FLAME website