Alternatives and similar repositories for claro-lang:

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

• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆403Updated 3 weeks ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆52Updated this week
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆345Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated 2 years ago
• alumina-lang / alumina
  A general purpose programming language
  ☆185Updated 2 months ago
• SaberVM / SaberVM
  ☆200Updated 7 months ago
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆222Updated this week
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆163Updated 3 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆203Updated last week
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆153Updated 4 years ago
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆249Updated 2 weeks ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• cfallin / weval
  ☆172Updated 3 months ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆167Updated last year
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆99Updated 10 months ago
• dghosef / qdbp
  ☆51Updated 5 months ago
• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆196Updated 2 years ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆412Updated this week
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆112Updated last month
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆217Updated 3 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆97Updated last week
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆104Updated last week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆286Updated 3 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆67Updated last month
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆180Updated this week
• KeliLanguage / compiler
  The compiler for Keli
  ☆172Updated 5 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆168Updated 2 months ago