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☆421Updated this week
- Bootstrap compiler for Firefly☆56Updated 2 months ago
- A modern supercompiler for call-by-value functional languages☆464Updated last month
- 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 fast functional language based on two level type theory☆392Updated 3 years ago
- ☆139Updated this week
- ☆218Updated last year
- A general purpose programming language☆219Updated 3 months ago
- ☆26Updated 2 years ago
- an experimental new programming language based on interaction nets☆337Updated this week
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.☆252Updated last month
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated 2 years ago
- A series of down-to-earth articles on implementing type inference☆166Updated 5 years ago
- moved to https://codeberg.org/core-lang/core☆51Updated last year
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- Experiments in building "better" languages and tools; for some measure of better.☆265Updated this week
- Just a list of Awesome Alt Langs to check out☆102Updated last year
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆341Updated 4 months ago
- A declarative concatenative programming language☆170Updated 4 months ago
- The Fuzion Language Implementation☆56Updated this week
- A human readable quasi-concatenative programming language☆260Updated 11 months ago
- ☆191Updated this week
- A simple ML-like programming language with subtyping and full type inference.☆187Updated last year
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated last week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated last year
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆85Updated this week
- ☆29Updated 5 months ago
- A garden of small programming language implementations 🪴☆310Updated this week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆668Updated last week
- (Hopefully) a compiler for my first language named "Pie"☆22Updated last week