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 modern supercompiler for call-by-value functional languages☆466Updated 2 months ago
- Bootstrap compiler for Firefly☆56Updated last week
- ☆218Updated last year
- A general purpose programming language☆219Updated 3 months ago
- A fast functional language based on two level type theory☆392Updated 3 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆421Updated this week
- A declarative concatenative programming language☆170Updated 4 months ago
- an experimental new programming language based on interaction nets☆338Updated this week
- A series of down-to-earth articles on implementing type inference☆166Updated 5 years ago
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆133Updated 3 years ago
- A human readable quasi-concatenative programming language☆259Updated last year
- ☆139Updated last week
- ☆26Updated 2 years ago
- ☆29Updated 5 months ago
- Functional language with a powerful type system.☆172Updated 2 years ago
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆341Updated 4 months ago
- Just a list of Awesome Alt Langs to check out☆102Updated last year
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆85Updated this week
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.☆252Updated last month
- A garden of small programming language implementations 🪴☆311Updated last week
- Experiments in building "better" languages and tools; for some measure of better.☆266Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 months ago
- A language server for Standard ML.☆238Updated 2 months ago
- A simple ML-like programming language with subtyping and full type inference.☆188Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆228Updated 2 years ago
- The practical relational programing language for data-oriented applications☆215Updated 3 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆36Updated 6 months ago
- A tiny lazy objective functional language☆19Updated last year
- Fir programming language☆91Updated this week