Alternatives and similar repositories for LobLib:

Users that are interested in LobLib are comparing it to the libraries listed below

• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 4 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆68Updated 14 years ago
• ehud / MIU
  MIU from GEB, circa 1980
  ☆16Updated 8 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 8 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 8 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 3 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆135Updated 9 years ago
• mikeizbicki / parsed
  a haskellified version of the classic sed unix tool
  ☆21Updated 10 years ago
• alehander92 / Airtight
  a python-like language with hindley-milner-like type system, which is compiled to c
  ☆243Updated 3 years ago
• r0nk / corvus
  Genetic BF programming
  ☆60Updated 10 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 4 years ago
• mauke / poly.poly
  Polyglots
  ☆82Updated 9 years ago
• pklausler / aoeui
  Automatically exported from code.google.com/p/aoeui
  ☆19Updated 9 years ago
• AndrewBelt / WiTeX
  If Donald Knuth had designed Wikipedia
  ☆370Updated 6 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 7 years ago
• jozefg / graph-models
  Notes on P-omega
  ☆14Updated 7 years ago
• foretspaisibles / bsdowl
  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
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆274Updated 7 years ago
• Fedjmike / tush
  ☆23Updated 8 years ago
• clarus / falso
  A proof of false in Coq.
  ☆96Updated 5 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• ujamjar / hardcaml
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Updated 4 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago