Block or Report
Block or report dpercy
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
A modern Prolog implementation written mostly in Rust.
The knowledge hacker's notebook
A digital logic designer and circuit simulator.
Digital logic design tool and simulator
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Record Query - A tool for doing record analysis and transformation
A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
Code examples that accompany the MDN WebAssembly documentation — see https://developer.mozilla.org/en-US/docs/WebAssembly.
Hosting read-only SQLite databases on static file hosters like Github Pages
The Void source packages collection
A statically typed concatenative systems programming language.
Turn static CLI commands into TUIs with ease
The only public framework for developing applications with native refresh support for Remarkable Tablet
Provides org-mode like hide and show for hideshow.el
A collection of out-of-tree LLVM passes for teaching and learning
A case study on viable techniques for vanilla web development.
Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)