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 6 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 4 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 5 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆14Updated 5 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• softdevteam / eco
  Editor for language composition
  ☆57Updated 2 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 11 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆10Updated 3 months ago
• deech / shen-rust
  ☆35Updated 6 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last year
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆40Updated 7 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• hellerve / ptolemy
  My reading list
  ☆83Updated 3 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated last year
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆16Updated 6 years ago