Alternatives and similar repositories for personal

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

• ncellar / autumn_archive
  A PEG parsing library
  ☆14Updated 5 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated last year
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• soney / interstate
  ☆53Updated 4 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆39Updated 7 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 6 years ago
• LivelyKernel / lively4-projectional-editor
  The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…
  ☆16Updated 8 years ago
• lkuper / lvar-semantics
  PLT Redex models of LVar calculi
  ☆10Updated 10 years ago
• aryx / syncweb
  literate programming meets unison
  ☆28Updated last week
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• attresearch / yakker
  ☆23Updated 13 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• smikes / femscripten
  A docker image for Fortran -> js compilation
  ☆22Updated 10 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 3 weeks ago