Pinned Repositories
AdamBots-2014-FRC-Programming
bbchallenge-dafny-deciders
This is a collection of deciders which identify looping Turing Machines, following https://bbchallenge.org/
Bismuth
A purely functional programming language with algebraic effects
Bismuth-Prototype
go-peg-tree
Type-safe PEG parser generator for Go
Ni
The Nickel programming language.
ploy-cad
sat_toasty_helper
A Rust utility for defining SAT problems
triangle-sketch
A generative art project
metrics
Metrics Query Engine
Nathan-Fenner's Repositories
Nathan-Fenner/filo
A preprocessor that adds generics (in the form of templating) to Go
Nathan-Fenner/Nathan-Fenner
Nathan-Fenner/overboard
Nathan-Fenner/Bismuth
A purely functional programming language with algebraic effects
Nathan-Fenner/Reflect-Peg
A reflect-based PEG parser for Go.
Nathan-Fenner/webpage
Nathan-Fenner/spokes
Nathan-Fenner/Bismuth-Prototype
Nathan-Fenner/New-Nickel
Nathan-Fenner/go-peg-tree
Type-safe PEG parser generator for Go
Nathan-Fenner/gorogue
Nathan-Fenner/Ni
The Nickel programming language.
Nathan-Fenner/OS
Nathan-Fenner/Ferrum
A strongly-typed imperative programming language with checked effects.
Nathan-Fenner/Half-Hour-RPG
A "half-hour" RPG project
Nathan-Fenner/AdamBots-2014-FRC-Programming
Nathan-Fenner/socketry
websockets