UnrealVerseGuru / VerseProgrammingLanguageLinks
Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets
☆289Updated 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 minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated last year
- A curated list of awesome resources, examples and tutorials for Verse, the programming language created by Epic Games.☆74Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆315Updated last year
- The Twelf Programming Language☆143Updated 2 weeks ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated last year
- A minimal proof checker.☆77Updated last year
- Embeddable Lambda Prolog Interpreter☆326Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆92Updated 2 weeks ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆74Updated this week
- ☆119Updated last year
- Dependent type checker using normalisation by evaluation☆269Updated last year
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆130Updated 11 months ago
- 1ML prototype interpreter☆289Updated 5 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago
- Hazel, a live functional programming environment with typed holes☆1,054Updated this week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- ☆494Updated last year
- ☆233Updated 3 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆37Updated last month
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated 2 months ago
- Collection of Kind2 programs and proofs☆12Updated last year
- Nim plugin for UE5 with native performance, hot reloading and full interop that sits between C++ and Blueprints. This allows you to do co…☆534Updated 2 weeks ago
- Functional Programming in Lean☆122Updated last month
- Defect Process (2d hack n' slash game) full source code☆222Updated 2 years ago
- Catalog of visual lambda calculi☆161Updated 4 months ago
- A categorical programming language with effects☆288Updated 2 years ago
- a datalog interpreter in typescript☆213Updated 11 months ago
- A modular game engine and ECS for Haskell☆134Updated 3 months ago