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:
- ☆174Updated this week
- ☆212Updated last year
- Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets☆275Updated 2 years ago
- Inpla: Interaction nets as a programming language (the current version)☆309Updated 8 months ago
- an experimental new programming language based on interaction nets☆284Updated this week
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- A language with lexical effect handlers and lightweight effect polymorphism☆380Updated this week
- A modern supercompiler for call-by-value functional languages☆418Updated 2 months ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆356Updated this week
- Claro Lang☆144Updated last year
- Temporary repository for Kind2's refactor based on HVM2☆281Updated 9 months ago
- Cat - a statically typed functional stack-based programming language☆263Updated 7 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆195Updated this week
- Hazel, a live functional programming environment with typed holes☆969Updated this week
- A statically typed Lisp like scripting programming language for Rust.☆222Updated 5 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆116Updated 6 months ago
- Bootstrapping ATS3☆222Updated last week
- A language server for Standard ML in Rust.☆224Updated last month
- A declarative concatenative programming language☆164Updated 8 months ago
- A simple ML-like programming language with subtyping and full type inference.☆176Updated 7 months ago
- ☆119Updated last year
- ☆225Updated this week
- The Standard ML compiler that produces Lua/JavaScript☆397Updated last week
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆315Updated this week
- Full Source Code for Making a Language series☆48Updated last month
- Cell compiler☆114Updated 2 years ago
- ☆495Updated last year
- ☆172Updated 8 months ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year