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).
☆127Updated 2 years ago
Alternatives and similar repositories for yona:
Users that are interested in yona are comparing it to the libraries listed below
- The compiler for Keli☆172Updated 5 years ago
- Functional programming language for JVM.☆247Updated 9 months ago
- A Java parser combinator library written with an unmatched feature set.☆125Updated 3 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆212Updated 2 years ago
- Just a list of Awesome Alt Langs to check out☆98Updated 9 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆343Updated this week
- Claro Lang☆141Updated 8 months ago
- ☆22Updated last week
- Cell compiler☆115Updated last year
- The Avail programming language. Includes the virtual machine, standard library, and standard examples.☆54Updated last month
- A programming language where the syntax and semantics are mutable at runtime☆163Updated 12 years ago
- A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting☆40Updated 3 weeks ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- The Makam Metalanguage☆196Updated last year
- A toy language written in kotlin☆16Updated 5 years ago
- Dependent type checker using normalisation by evaluation☆255Updated 4 months ago
- A simple expressions language with polymorphic extensible row types.☆303Updated last year
- The Kuljet language☆25Updated 4 years ago
- A simple bidirectional type checker☆17Updated 5 years ago
- Plasma Programming Language☆164Updated last month
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 7 months ago
- 1ML prototype interpreter☆275Updated 4 years ago
- A simple ML-like programming language with subtyping and full type inference.☆165Updated last month
- A small and expressive dependently typed language☆129Updated 4 years ago
- Haskell In New Clothes☆111Updated 4 years ago
- Resumable exceptions and delimited continuations for JVM☆39Updated 3 weeks ago
- A compiler, testing bed, and standard library for the Choral programming language.☆26Updated last month
- The fastest way to build a language☆41Updated 3 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆33Updated last month
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated 11 months ago