bryce-evans / LobLibLinks
LobLib: The Lobster Library
☆69Updated 10 years ago
Alternatives and similar repositories for LobLib
Users that are interested in LobLib are comparing it to the libraries listed below
Sorting:
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆32Updated 10 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 9 years ago
- minimalistic secure XMPP client in OCaml☆253Updated last year
- Polyglots☆83Updated 10 years ago
- a python-like language with hindley-milner-like type system, which is compiled to c☆246Updated 4 years ago
- A bare-bones academic wiki with LaTeX and (multi)markdown support☆71Updated 10 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated 7 months ago
- Noether programming language☆130Updated 8 years ago
- A pager for grep☆106Updated 4 years ago
- MIU from GEB, circa 1980☆16Updated 8 years ago
- APL Compiler targeting a typed array intermediate language☆217Updated last year
- A LaTeX package for formatting meta-theory.☆46Updated 5 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- Test-driven system administration with a little extra logic.☆389Updated 7 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Updated 5 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 11 months ago
- undo in any program that uses readline☆164Updated 8 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 5 months ago
- If Donald Knuth had designed Wikipedia☆374Updated 7 years ago
- A universal interface to multiple unarchiving tools☆73Updated last month
- Patoline typesetting system☆195Updated 3 years ago
- Brainfuck with Actors☆36Updated 7 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- Because one more editor is never enough☆38Updated 2 years ago
- Exactly what it says on the tin.☆20Updated 8 years ago