UnrealVerseGuru / VerseProgrammingLanguageLinks
Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets
☆284Updated 2 years ago
Alternatives and similar repositories for VerseProgrammingLanguage
Users that are interested in VerseProgrammingLanguage are comparing it to the libraries listed below
Sorting:
- The Verse Programming Language☆170Updated 3 years ago
- A curated list of awesome resources, examples and tutorials for Verse, the programming language created by Epic Games.☆74Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆224Updated last year
- A minimal proof checker.☆76Updated last year
- Temporary repository for Kind2's refactor based on HVM2☆280Updated last year
- Interpreter of the Verse programming language (this language is the precursor of Basalt)☆17Updated 8 months ago
- Nim plugin for UE5 with native performance, hot reloading and full interop that sits between C++ and Blueprints. This allows you to do co…☆528Updated last month
- Inpla: Interaction nets as a programming language (the current version)☆311Updated 11 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆125Updated 10 months ago
- An automated tutorial to teach you about Haskell!☆177Updated 2 years ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆71Updated 2 months ago
- A modern supercompiler for call-by-value functional languages☆425Updated last month
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago
- a datalog interpreter in typescript☆212Updated 9 months ago
- Accelerated machine learning with dependent types☆100Updated 2 months ago
- ☆234Updated 2 months ago
- ☆119Updated last year
- Source material for Algebra-Driven Design☆152Updated last year
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆320Updated 2 weeks ago
- A list of projectional and structural editors☆393Updated 3 weeks ago
- Domain Specific Languages for Computational Law☆77Updated 3 months ago
- ☆276Updated last month
- ☆494Updated last year
- Information and links about Epic's Unreal Engine including Verse programming language for UEFN, Unreal, Fortnite and the Metaverse along …☆99Updated 6 months ago
- Functional Programming in Lean☆114Updated last week
- ☆53Updated 9 months ago
- Hazel, a live functional programming environment with typed holes☆1,041Updated last week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Code and materials for my book "Pragmatic Type Level Design"☆146Updated 6 months ago
- ☆131Updated this week