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).
☆131Updated 3 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☆173Updated 6 years ago
- A Java parser combinator library written with an unmatched feature set.☆128Updated 3 years ago
- Cell compiler☆115Updated 2 years ago
- Functional programming language for JVM.☆251Updated 3 months ago
- Claro Lang☆146Updated last year
- The Whiley Compiler (WyC)☆224Updated 2 years ago
- The Avail programming language. Includes the virtual machine, standard library, and standard examples.☆56Updated 6 months ago
- Plasma Programming Language☆166Updated 5 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆395Updated this week
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 8 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- ☆24Updated 3 weeks ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆433Updated this week
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- SOMns: A Newspeak for Concurrency Research☆70Updated 7 months ago
- The fastest way to build a language☆43Updated 3 years ago
- Haskell In New Clothes☆110Updated 5 years ago
- The Online Interpreter for Standard ML, written in TypeScript.☆177Updated last year
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- =Please be aware that Concurnas is no longer in active development = Concurnas is an open source JVM programming language designed for bu…☆205Updated last year
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 5 months ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18Updated 2 years ago
- ☆169Updated 9 years ago
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆302Updated this week
- Ordo: A minimalist language with row polymorphism☆85Updated 5 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 3 months ago
- Kempe is a compiled stack-based language☆58Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆44Updated 9 months ago
- RFCs for changes to Pony☆61Updated 8 months ago