Alternatives and similar repositories for claro-lang:

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

• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆53Updated last week
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆230Updated this week
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆408Updated 2 weeks ago
• alumina-lang / alumina
  A general purpose programming language
  ☆190Updated 2 months ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆259Updated this week
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 6 months ago
• jamii / zest
  ☆103Updated last month
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆357Updated this week
• SaberVM / SaberVM
  ☆205Updated 10 months ago
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆231Updated this week
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆154Updated 4 years ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆252Updated 3 months ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆170Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆223Updated this week
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆99Updated last year
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆62Updated last week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• cfallin / weval
  ☆172Updated 6 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated 4 months ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆43Updated 2 months ago
• antimony-lang / antimony
  The Antimony programming language
  ☆150Updated last week
• contextfreeinfo / rio
  Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language
  ☆97Updated this week
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆163Updated 3 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆172Updated 5 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆106Updated 2 weeks ago
• sin-ack / zigself
  An implementation of the Self programming language in Zig
  ☆179Updated last month
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 4 months ago
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆128Updated 2 years ago