Alternatives and similar repositories for ichigo-lang

Users that are interested in ichigo-lang are comparing it to the libraries listed below

• owo-lang / OwO
  Placeholder for the OwO compiler
  ☆60Updated 6 years ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆121Updated 5 years ago
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 5 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 6 years ago
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆99Updated 5 years ago
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated 11 months ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 5 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 5 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 10 years ago
• be5invis / idris-codegen-es
  Optimized JS codegen for Idris
  ☆54Updated 7 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆41Updated 7 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆25Updated 5 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆202Updated 5 years ago
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 11 years ago
• thautwarm / reley
  haskell-like compiled language based on Python VM
  ☆10Updated 7 years ago
• MarisaKirisame / first_order_logic_prover
  ☆60Updated 7 years ago
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Updated 6 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated 2 months ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 5 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 8 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆141Updated 10 years ago
• haskell / alex
  A lexical analyser generator for Haskell
  ☆319Updated 3 weeks ago
• mflatt / jit-demo
  ☆65Updated 9 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago