wyvernlang / wyvernLinks
The Wyvern programming language.
☆560Updated last month
Alternatives and similar repositories for wyvern
Users that are interested in wyvern are comparing it to the libraries listed below
Sorting:
- Plasma Programming Language☆166Updated 6 months ago
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- L.B. Stanza Programming Language☆215Updated 2 years ago
- Links: Linking Theory to Practice for the Web☆346Updated 2 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆204Updated last year
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆355Updated last year
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- Standard ML Compiler and Toolkit☆293Updated last month
- The Om programming language.☆174Updated last year
- The Programming Language Céu☆223Updated 2 years ago
- Pure programming language☆326Updated 3 years ago
- A programming language where the syntax and semantics are mutable at runtime☆169Updated 13 years ago
- Nit language☆250Updated 11 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆374Updated 4 months ago
- Frank compiler☆300Updated last year
- A Compiler for the Popr Language☆253Updated 4 years ago
- A terse declarative logic programming language☆117Updated 5 years ago
- Classic Algorithm W for type inference.☆255Updated 15 years ago
- Compiler for the Mirth programming language.☆478Updated 5 months ago
- The Pyret language.☆1,110Updated last week
- The Higher-Order Intermediate Representation☆161Updated last week
- Contextual types meet mechanized metatheory!☆200Updated 3 weeks ago
- Modernized Sisal Interpreter☆29Updated 6 years ago
- Self-hosting compiler for the Grace programming language☆41Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- An imperative and functional programming language☆158Updated 5 months ago
- Compiler and tools for the L programming language☆72Updated last year
- Malfunctional Programming☆350Updated 11 months ago
- Mozart Programming System v2☆597Updated 8 months ago