MichaelBVaughn / NoFAQLinks
A web app that learns to repair your command line mistakes.
☆15Updated 8 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 8 years ago
- CLI to concurrently compress, decompress using Brotli algorithm☆39Updated 5 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 10 years ago
- state machine visual debugger☆121Updated 10 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- a multi-syntax language☆136Updated 9 years ago
- Structured shrinking of unknown file formats☆96Updated 8 years ago
- generator for complex configurations☆99Updated 7 years ago
- Ultra Tiny Compiler☆181Updated 6 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- Scripting with Least Privilege☆109Updated 8 years ago
- Data structure server.☆181Updated 8 years ago
- Speculative Paxos replication protocol☆131Updated 8 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Predictive Optimizing Code Loading☆62Updated 9 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago
- X86_64 Linux webserver in assembler☆107Updated 10 years ago
- ZeroScript☆82Updated 9 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- Getting Widespread OCaml Adoption☆84Updated 7 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆225Updated 4 years ago
- A WebSocket cli tool.☆44Updated 6 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- No sane compiler would optimize atomics: the presentation☆107Updated 8 years ago
- A work-in-progress JIT-powered regex engine☆112Updated 7 years ago
- SAT-based solver for the Hexiom logic puzzle☆33Updated 13 years ago