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/triangle-sketch
A generative art project
Nathan-Fenner/bbchallenge-dafny-deciders
This is a collection of deciders which identify looping Turing Machines, following https://bbchallenge.org/
Nathan-Fenner/sat_toasty_helper
A Rust utility for defining SAT problems
Nathan-Fenner/ploy-cad
Nathan-Fenner/advent-of-code
My (cleaned up) solutions to advent of code
Nathan-Fenner/arrow-rs
Official Rust implementation of Apache Arrow
Nathan-Fenner/baseweb
A React Component library implementing the Base design language
Nathan-Fenner/bb-simple-n-gram-cps
Nathan-Fenner/bbchallenge-regexy-decider
A toy decider for https://bbchallenge.org/
Nathan-Fenner/bbchallenge-website
Frontend of https://bbchallenge.org
Nathan-Fenner/bevy
A refreshingly simple data-driven game engine built in Rust
Nathan-Fenner/boa
Boa is an embeddable and experimental Javascript engine written in Rust. Currently, it has support for some of the language.
Nathan-Fenner/BrogueCE
Brogue: Community Edition - a community-lead fork of the much-loved minimalist roguelike game
Nathan-Fenner/busy-beaver-dafny-regex-verifier
A Dafny program for verifying busy beaver non-termination
Nathan-Fenner/cozy
The collection synthesizer
Nathan-Fenner/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Nathan-Fenner/forager
Nathan-Fenner/nathan-fenner.github.io
Nathan-Fenner/redis-rs
Redis library for rust
Nathan-Fenner/rfcs
RFCs for changes to React
Nathan-Fenner/rust
Empowering everyone to build reliable and efficient software.
Nathan-Fenner/saffron-script
Nathan-Fenner/slate
A completely customizable framework for building rich text editors. (Currently in beta.)
Nathan-Fenner/solve-story
Nathan-Fenner/sqlalchemy-redshift
Amazon Redshift SQLAlchemy Dialect
Nathan-Fenner/tis100-solver
an experimental exhaustive searcher for solutions to TIS-100 problems
Nathan-Fenner/twinejs
Twine, a tool for telling interactive, nonlinear stories
Nathan-Fenner/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Nathan-Fenner/yaml
JavaScript parser and stringifier for YAML
Nathan-Fenner/zig-net
toy library for creating/optimizing differentiable programs in zig