yona-lang / yona
Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax, strict evaluation, for GraalVM polyglot virtual machine (VM).
☆125Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for yona
- The compiler for Keli☆171Updated 5 years ago
- Functional programming language for JVM.☆246Updated 7 months ago
- A Java parser combinator library written with an unmatched feature set.☆125Updated 3 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆334Updated this week
- Resumable exceptions and delimited continuations for JVM☆39Updated 3 months ago
- Claro Lang☆138Updated 6 months ago
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆285Updated 2 weeks ago
- Cell compiler☆114Updated last year
- Plasma Programming Language☆162Updated 2 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆212Updated last year
- Just a list of Awesome Alt Langs to check out☆95Updated 7 months ago
- Shen for JavaScript☆58Updated 2 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 2 months ago
- 1ML prototype interpreter☆270Updated 4 years ago
- The Avail programming language. Includes the virtual machine, standard library, and standard examples.☆54Updated last month
- Standard ML interpreter, with relational extensions, implemented in Java☆299Updated this week
- A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting☆40Updated last month
- A compiler, testing bed, and standard library for the Choral programming language.☆25Updated 2 weeks ago
- A fast functional language based on two level type theory☆388Updated last year
- A programming language where the syntax and semantics are mutable at runtime☆163Updated 12 years ago
- ☆170Updated 8 years ago
- The Makam Metalanguage☆194Updated last year
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- A small and expressive dependently typed language☆129Updated 4 years ago
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago
- A categorical programming language with effects☆267Updated last year
- Haskell In New Clothes☆111Updated 4 years ago
- The Fuzion Language Implementation☆48Updated this week
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆17Updated last year