exists-forall
PhD student at MIT CSAIL. Prev: UC Berkeley Computer Science and Math, Fall '20.
Cambridge, MA
Pinned Repositories
delta
The official compiler for the Delta programming language
elm-array
A reimplementation of Elm's core Array module
EventualMonad
A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writing compilers.
id_collections
Index-Oriented Programming in Rust
incremental-rs
Composable and extensible incremental computation in Rust
knot-optimization
A UC Berkeley research project to generate 3D-printed models of topological knots
nickel
A safe and efficient target language for functional compilers
pretty-trait
Simple trait-based pretty-printing in Rust
screaming_float
Implements Screaming NaNs
striped_attention
exists-forall's Repositories
exists-forall/striped_attention
exists-forall/nickel
A safe and efficient target language for functional compilers
exists-forall/EventualMonad
A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writing compilers.
exists-forall/id_collections
Index-Oriented Programming in Rust
exists-forall/pretty-trait
Simple trait-based pretty-printing in Rust
exists-forall/screaming_float
Implements Screaming NaNs
exists-forall/delta
The official compiler for the Delta programming language
exists-forall/elm-array
A reimplementation of Elm's core Array module
exists-forall/knot-optimization
A UC Berkeley research project to generate 3D-printed models of topological knots
exists-forall/elm-constructive
A variant of the Elm architecture, where actions directly construct new models
exists-forall/incremental-rs
Composable and extensible incremental computation in Rust
exists-forall/telerun
Lightweight, portable job queue system
exists-forall/vscode-quick-note
A simple Visual Studio Code extension for creating scratch notes
exists-forall/6.S894-telerun
exists-forall/code-voyage
Algorithm Exploration Platform
exists-forall/comet
The Comet programming language
exists-forall/delta-site
The official website for the Delta programming language
exists-forall/id_cache
A cache data structure which generates sequentially-assigned ids for unique values
exists-forall/id_graph_sccs
Find the strongly-connected components of a graph with nodes labeled by integer ids
exists-forall/kiss3d
Keep it simple, stupid 3d graphics engine for Rust.
exists-forall/linear-algebra
Fast Linear Algebra for Elm.
exists-forall/neural-networks
Personal experiments in machine learning
exists-forall/olfaction-prediction
Collaborative Phase of DREAM Olfaction Prediction Challenge
exists-forall/P
The P programming language.
exists-forall/rfcs
Proposals for the design of Attaca and associated version control systems
exists-forall/rust
A safe, concurrent, practical language.
exists-forall/webgl
Functional Rendering with WebGL in Elm.