InductiveComputerScience / progsbase
Public Progsbase Repository
☆34Updated last month
Alternatives and similar repositories for progsbase:
Users that are interested in progsbase are comparing it to the libraries listed below
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- Mmap radix sort file by a fixed length prefix of each line☆52Updated 4 years ago
- file history with ed(1), diff(1), awk(1), sed(1) and sh(1)☆108Updated 4 years ago
- Variaous articles☆80Updated 2 years ago
- ☆21Updated 5 years ago
- GUI for those who don't do GUI☆121Updated 5 years ago
- What if you could use bash from a filesystem?☆64Updated 5 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- An ancient programming language adapted to a JavaScript-dominated world☆28Updated 11 years ago
- ☆75Updated 4 years ago
- get more done with fewer keystrokes☆57Updated 2 years ago
- 1v1 tank war model built by NetLogo☆50Updated 6 years ago
- ☆31Updated 9 years ago
- ☆27Updated 2 years ago
- Implementation of popular consensus protocols☆21Updated 4 years ago
- Research prototype of a REPL/debugger☆30Updated 6 years ago
- Explore Forum Structured Data (on HackerNews) Visually☆42Updated 2 years ago
- Transactional SQL based RDBMS with sophisticated multi table constraint logic.☆46Updated 6 years ago
- A totally proof-of-concept FoundationDB based network block device backend☆115Updated 6 years ago
- A collection of descriptions of the architecture that various systems use.☆24Updated 6 years ago
- UI as finite-state machine☆96Updated 4 years ago
- ☆110Updated 3 years ago
- Various Arduino sketches☆59Updated 2 years ago
- storage combinators☆18Updated 4 years ago
- A draggable, dockable, notebook-style layout engine for React☆54Updated 7 years ago
- Linux Engine for Asset Retrieval - speed-profiled C HTTP server☆168Updated 6 years ago
- Rendering bitmaps using nodes. Inspired by Blender's Nodes.☆62Updated 5 years ago
- Secure storage for cryptographic secrets, modeled after sudo☆78Updated 5 years ago
- touch screen tree editor☆35Updated 7 years ago
- I got mad flow.☆85Updated 7 years ago