verse-lang / verseLinks
The Verse Programming Language
☆171Updated 3 years ago
Alternatives and similar repositories for verse
Users that are interested in verse are comparing it to the libraries listed below
Sorting:
- A language with lexical effect handlers and lightweight effect polymorphism☆377Updated this week
- A fast functional language based on two level type theory☆391Updated 2 years ago
- ☆172Updated last week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- ☆209Updated 11 months ago
- an experimental new programming language based on interaction nets☆272Updated this week
- ☆220Updated 2 months ago
- Inpla: Interaction nets as a programming language (the current version)☆307Updated 7 months ago
- A declarative concatenative programming language☆164Updated 8 months ago
- A modern supercompiler for call-by-value functional languages☆418Updated 2 months ago
- Bootstrapping ATS3☆221Updated this week
- A categorical programming language with effects☆278Updated 2 years ago
- Dependent type checker using normalisation by evaluation☆262Updated 9 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 4 years ago
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆312Updated last week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆266Updated this week
- A statically typed Lisp like scripting programming language for Rust.☆220Updated 4 months ago
- Effects-based direct-style IO for multicore OCaml☆618Updated 5 months ago
- 1ML prototype interpreter☆282Updated 5 years ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated 9 months ago
- Frank compiler☆295Updated last year
- Compiler for the Mirth programming language.☆471Updated last month
- A ready-to-fork interpreted functional language with type inference☆409Updated last week
- SML# compiler☆239Updated 2 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆305Updated last week
- A programming language for the decentralized web☆448Updated 2 years ago
- Experiments in building "better" languages and tools; for some measure of better.☆238Updated last month
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated last week
- A compact, efficient Prolog interpreter written in plain-old C.☆297Updated this week
- ☆267Updated 4 months ago