JasonSteving99 / claro-lang
Claro Lang
☆138Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for claro-lang
- A language with lexical effect handlers and lightweight effect polymorphism☆334Updated this week
- A general purpose programming language☆175Updated last month
- Bootstrap compiler for Firefly☆51Updated this week
- ☆197Updated 4 months ago
- A modern supercompiler for call-by-value functional languages☆390Updated last week
- Functional language with a powerful type system.☆165Updated 9 months ago
- A declarative concatenative programming language☆159Updated 3 weeks ago
- A fast functional language based on two level type theory☆388Updated last year
- A garden of small programming language implementations 🪴☆177Updated last week
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆125Updated 2 years ago
- Experiments in building "better" languages and tools; for some measure of better.☆189Updated this week
- ☆27Updated last month
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆220Updated 9 months ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- A human readable quasi-concatenative programming language☆245Updated last month
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- ☆172Updated 3 weeks ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆213Updated 3 weeks ago
- A simple ML-like programming language with subtyping and full type inference.☆164Updated 5 months ago
- A website for the #proglangdesign community on freenode☆109Updated 3 weeks ago
- The practical relational programing language for data-oriented applications☆191Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆277Updated 3 weeks ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆98Updated last month
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆239Updated last week
- A language server for Standard ML.☆219Updated 2 months ago
- A compiler for Standard ML, somewhat☆201Updated 2 years ago
- An implementation of the Self programming language in Zig☆160Updated 2 months ago
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆323Updated 2 weeks ago