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 / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆99Updated 5 years ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆121Updated 5 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 5 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆25Updated 5 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 6 years ago
• be5invis / idris-codegen-es
  Optimized JS codegen for Idris
  ☆54Updated 7 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 10 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 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
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• MarisaKirisame / CompilingCombinator
  Code for my blog
  ☆11Updated 8 years ago
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 11 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
• be5invis / your-type
  ☆25Updated 9 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated 2 months ago
• raptazure / chocolate
  Talking about classical logic and abstract algebra in Haskell
  ☆16Updated 4 years ago
• dragonly / HasCraft
  A Minecraft demo in Haskell ;)
  ☆12Updated 9 years ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 7 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• ice1000 / Books
  My slides and notes
  ☆139Updated 2 years ago
• MarisaKirisame / lambda_calculus
  ☆14Updated 10 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆202Updated 5 years ago
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated 11 months ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• MarisaKirisame / first_order_logic_prover
  ☆60Updated 7 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆71Updated 6 years ago