Alternatives and similar repositories for compilers

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

• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 7 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 5 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 3 months ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 3 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 7 years ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆41Updated last year
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆78Updated 2 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 6 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 3 years ago
• Ngnghm / ngnghm.github.io
  Houyhnhnm Computing
  ☆23Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆12Updated 10 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 11 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆28Updated last year
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 6 years ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆55Updated 9 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• bennorth / git-dendrify
  Transform git histories between tree-like and linear forms
  ☆29Updated 5 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 5 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• suhr / wcpl
  ☆16Updated 7 years ago