bryce-evans / LobLib
LobLib: The Lobster Library
☆68Updated 9 years ago
Alternatives and similar repositories for LobLib:
Users that are interested in LobLib are comparing it to the libraries listed below
- Noether programming language☆126Updated 7 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- Genetic BF programming☆60Updated 10 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- MIU from GEB, circa 1980☆16Updated 7 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- A Digital Scientific Notation☆281Updated 4 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 4 years ago
- hoodle : A pen notetaking program written in haskell☆146Updated last year
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- A bare-bones academic wiki with LaTeX and (multi)markdown support☆70Updated 9 years ago
- Adapton Project Homepage☆16Updated 9 years ago
- Scripting with Least Privilege☆108Updated 7 years ago
- A reimplementation of gitit in Yesod☆95Updated 6 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- a multi-syntax language☆135Updated 8 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- Notes on P-omega☆14Updated 7 years ago
- MLton with Realtime GC and Threading features☆103Updated 11 months ago
- A modern tool for literate programming☆274Updated 7 years ago
- a haskellified version of the classic sed unix tool☆21Updated 9 years ago
- Polyglots☆82Updated 9 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago