Alternatives and similar repositories for yona

Users that are interested in yona are comparing it to the libraries listed below

• KeliLanguage / compiler
  The compiler for Keli
  ☆174Updated 6 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆128Updated 3 years ago
• mth / yeti
  Functional programming language for JVM.
  ☆251Updated 3 months ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• JasonSteving99 / claro-lang
  Claro Lang
  ☆146Updated last year
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆223Updated 2 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 4 months ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆56Updated 5 months ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 6 months ago
• flix / vscode-flix
  ☆24Updated this week
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆40Updated 8 months ago
• Concurnas / Concurnas
  =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
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 3 weeks ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆394Updated this week
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆43Updated 3 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆102Updated last year
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆430Updated this week
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆44Updated 8 months ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆165Updated 10 months ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆168Updated 13 years ago
• hpi-swa / trufflesqueak
  A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.
  ☆300Updated last week
• tobega / tailspin-v0
  A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
  ☆43Updated 8 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆147Updated 4 months ago
• xclerc / ocamljava
  ☆169Updated 9 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated last year
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆118Updated 2 months ago
• marcopennekamp / lore
  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