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
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- A simple http server written in Prolog☆30Updated 8 years ago
- OCaml implementation of the K 2.0 array programming language☆81Updated 9 years ago
- Scripting with Least Privilege☆108Updated 8 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 3 years ago
- A Python 3 compiler that anyone can understand.☆67Updated 10 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 years ago
- SAT-based solver for the Hexiom logic puzzle☆33Updated 13 years ago
- Demonstration NATting unikernel.☆29Updated 8 years ago
- Build system☆90Updated 6 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…☆78Updated 4 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated this week
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- World's dumbest fuzzer☆52Updated last year
- ☆33Updated 10 years ago
- Fast immutable data structures☆32Updated 10 years ago
- Javascript bindings for Irmin☆31Updated 9 years ago
- These are the MirageOS slide decks, written as a self-hosting unikernel☆13Updated 7 years ago
- Prep a new switch instantly.☆20Updated 7 years ago
- ZeroScript☆83Updated 9 years ago