bryce-evans / LobLibLinks
LobLib: The Lobster Library
☆68Updated 10 years ago
Alternatives and similar repositories for LobLib
Users that are interested in LobLib are comparing it to the libraries listed below
Sorting:
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- a multi-syntax language☆136Updated 9 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆69Updated 14 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- Genetic BF programming☆60Updated 10 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Because one more editor is never enough☆39Updated last year
- A bare-bones academic wiki with LaTeX and (multi)markdown support☆70Updated 10 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 3 weeks ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated 6 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 4 months ago
- a python-like language with hindley-milner-like type system, which is compiled to c☆246Updated 3 years ago
- organizes tags☆23Updated 7 years ago
- Noether programming language☆127Updated 8 years ago
- Dependently-typed language with Iverson-style implicit lifting☆122Updated 5 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Adapton Project Homepage☆16Updated 9 years ago
- MIT Scheme environment for the browser☆59Updated 7 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- Minimal implementation of UNIX seq command in x86_64 assembly.☆40Updated 8 years ago
- Make Stuff happen after you reach a point of ~60wpm☆25Updated 9 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- Propositional logic in terms of if-then-else☆15Updated 7 years ago