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:
- Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets☆282Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆224Updated last year
- ☆212Updated last year
- A language with lexical effect handlers and lightweight effect polymorphism☆395Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆311Updated 10 months ago
- ☆184Updated this week
- Claro Lang☆146Updated last year
- A fast functional language based on two level type theory☆392Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆424Updated last month
- Dependent type checker using normalisation by evaluation☆268Updated last year
- Bootstrapping ATS3☆226Updated this week
- Programming with pure lambda calculus☆121Updated 3 weeks ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆203Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆123Updated 9 months ago
- Cat - a statically typed functional stack-based programming language☆270Updated 7 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆56Updated 2 months ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆192Updated 7 months ago
- ☆270Updated 2 weeks ago
- The Standard ML compiler that produces Lua/JavaScript☆410Updated this week
- ☆174Updated last month
- an experimental new programming language based on interaction nets☆304Updated last week
- ☆234Updated last month
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 9 months ago
- Temporary repository for Kind2's refactor based on HVM2☆280Updated last year
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆318Updated last week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- A language server for Standard ML in Rust.☆229Updated last week
- A garden of small programming language implementations 🪴☆287Updated this week
- The Twelf Programming Language☆144Updated last week
- ☆119Updated last year