anzen-lang / anzen

Related projects: ⓘ

• joewillsher / Vist
  The Vist programming language
  ☆16Updated 7 years ago
• kyouko-taiga / Diesel
  A Swift library to write parsers for domain specific languages.
  ☆13Updated 3 years ago
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆33Updated 4 months ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆42Updated 6 years ago
• kyouko-taiga / LogicKit
  A Prolog-like language as a Swift Embedded Domain Specific Language.
  ☆62Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• dobesv / charity
  Charity Programming Language
  ☆37Updated 9 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆27Updated 5 years ago
• corazza / monac-scala
  ☆19Updated this week
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• rewriting / tom
  ☆34Updated 3 years ago
• softdevteam / eco
  Editor for language composition
  ☆56Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆28Updated 2 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆47Updated 4 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆61Updated 3 months ago
• mvitousek / reticulated
  Types for Python
  ☆85Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆26Updated 12 years ago
• protz / mezzo
  The language of the future!
  ☆71Updated 8 months ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆39Updated 3 months ago
• tov / alms
  The Alms Programming Language
  ☆43Updated 6 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 11 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 5 months ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated last year
• orc-lang / orc
  Orc programming language implementation
  ☆40Updated 2 years ago
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 7 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆23Updated 10 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆85Updated 2 years ago