MichaelBVaughn / NoFAQLinks
A web app that learns to repair your command line mistakes.
☆15Updated 9 years ago
Alternatives and similar repositories for NoFAQ
Users that are interested in NoFAQ are comparing it to the libraries listed below
Sorting:
- An example of PEG usage☆55Updated 9 years ago
- CLI to concurrently compress, decompress using Brotli algorithm☆39Updated 6 years ago
- ZeroScript☆83Updated 10 years ago
- a multi-syntax language☆136Updated 9 years ago
- A Wildflower IDE for touch devices.☆95Updated 10 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 9 years ago
- generator for complex configurations☆99Updated 8 years ago
- state machine visual debugger☆121Updated 10 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 10 years ago
- My implementations of deterministic and non-deterministic turing machines☆72Updated 2 years ago
- Schrödinger's Tcl☆29Updated 10 years ago
- APL compiler written in Standard ML☆36Updated 5 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 14 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆55Updated 10 years ago
- Mockfighter is a Stockfighter clone☆15Updated 10 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 10 years ago
- Ultra Tiny Compiler☆184Updated 6 years ago
- X86_64 Linux webserver in assembler☆107Updated 10 years ago
- Data structure server.☆181Updated 9 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆227Updated 4 years ago
- Build system☆89Updated 7 years ago
- ☆64Updated 9 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆324Updated 9 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Propositional calculus in Haskell☆11Updated 9 years ago
- A prolog-like language with compound truth value logic☆70Updated 7 years ago