yona-lang / yonaLinks
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).
☆128Updated 2 years ago
Alternatives and similar repositories for yona
Users that are interested in yona are comparing it to the libraries listed below
Sorting:
- The compiler for Keli☆174Updated 6 years ago
- Functional programming language for JVM.☆248Updated last month
- A Java parser combinator library written with an unmatched feature set.☆126Updated 3 years ago
- Cell compiler☆114Updated 2 years ago
- Claro Lang☆143Updated last year
- The Whiley Compiler (WyC)☆222Updated 2 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- The Avail programming language. Includes the virtual machine, standard library, and standard examples.☆56Updated 3 months ago
- The Online Interpreter for Standard ML, written in TypeScript.☆176Updated last year
- Plasma Programming Language☆166Updated 2 months ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last week
- ☆24Updated last month
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆296Updated last week
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 6 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 7 months ago
- Haskell In New Clothes☆110Updated 4 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆380Updated this week
- The Kuljet language☆25Updated 5 months ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 4 months ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- ☆169Updated 9 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 3 weeks ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆79Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated 9 months ago
- A declarative concatenative programming language☆164Updated 8 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆29Updated 3 months ago
- 1ML prototype interpreter☆283Updated 5 years ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago