verse-lang / verseLinks
The Verse Programming Language
☆170Updated 3 years ago
Alternatives and similar repositories for verse
Users that are interested in verse are comparing it to the libraries listed below
Sorting:
- ☆206Updated 11 months ago
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆311Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆303Updated 7 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆368Updated this week
- A fast functional language based on two level type theory☆390Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆414Updated last month
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- an experimental new programming language based on interaction nets☆265Updated this week
- Bootstrapping ATS3☆218Updated this week
- A garden of small programming language implementations 🪴☆240Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆618Updated 3 weeks ago
- ☆220Updated last month
- Experiments in building "better" languages and tools; for some measure of better.☆236Updated 2 weeks ago
- Systems language with linear types and capability-based security.☆1,324Updated 3 weeks ago
- A categorical programming language with effects☆278Updated 2 years ago
- A programming language with static memory management based on λ-calculus☆1,003Updated this week
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- Compiler for the Mirth programming language.☆466Updated last week
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆135Updated this week
- A general purpose programming language☆206Updated 3 weeks ago
- 1ML prototype interpreter☆282Updated 4 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,042Updated 2 years ago
- Sample code from "Type Driven Development with Idris"☆164Updated 7 years ago
- A ready-to-fork interpreted functional language with type inference☆402Updated this week
- ☆172Updated this week
- Just a list of Awesome Alt Langs to check out☆99Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- Frank compiler☆291Updated last year
- The parallel, concurrent, and functional programming language for scalable software development☆456Updated last week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆618Updated 4 years ago