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:
- Noether programming language☆129Updated 8 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
- MIU from GEB, circa 1980☆16Updated 8 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 brainfuck compiler, written in sed☆158Updated 14 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 10 months ago
- Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html☆117Updated 3 years ago
- undo in any program that uses readline☆164Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 9 years ago
- Test-driven system administration with a little extra logic.☆389Updated 7 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- If Donald Knuth had designed Wikipedia☆372Updated 7 years ago
- The main repository for monky☆82Updated 9 months ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 4 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 4 months ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆112Updated 9 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
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆32Updated 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 6 months ago
- Search for BibTeX references☆127Updated 8 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 5 years ago
- minimalistic secure XMPP client in OCaml☆253Updated last year
- document processor in Racket☆114Updated 3 years ago
- APL Compiler targeting a typed array intermediate language☆216Updated last year