JasonSteving99 / claro-langLinks
Claro Lang
☆148Updated last year
Alternatives and similar repositories for claro-lang
Users that are interested in claro-lang are comparing it to the libraries listed below
Sorting:
- A language with lexical effect handlers and lightweight effect polymorphism☆414Updated this week
- ☆215Updated last year
- A general purpose programming language☆217Updated last month
- A modern supercompiler for call-by-value functional languages☆463Updated 2 weeks ago
- Bootstrap compiler for Firefly☆56Updated last month
- an experimental new programming language based on interaction nets☆333Updated this week
- A fast functional language based on two level type theory☆392Updated 2 years ago
- Functional language with a powerful type system.☆172Updated last year
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆132Updated 3 years ago
- A declarative concatenative programming language☆168Updated 3 months ago
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆339Updated 2 months ago
- ☆26Updated 2 years ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated last year
- A tiny lazy objective functional language☆19Updated last year
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- A human readable quasi-concatenative programming language☆258Updated 10 months ago
- Experiments in building "better" languages and tools; for some measure of better.☆257Updated this week
- The practical relational programing language for data-oriented applications☆213Updated 3 years ago
- A language server for Standard ML in Rust.☆233Updated last week
- A series of down-to-earth articles on implementing type inference☆163Updated 5 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated this week
- 👌 A smol functional language that targets other languages☆66Updated last year
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.☆248Updated last month
- The compiler for Keli☆173Updated 6 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆230Updated last year
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated this week
- A garden of small programming language implementations 🪴☆299Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 11 months ago
- moved to https://codeberg.org/core-lang/core☆51Updated 10 months ago