UnrealVerseGuru / VerseProgrammingLanguageLinks
Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets
☆291Updated 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.☆75Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated 2 years ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆318Updated 3 weeks ago
- A minimal proof checker.☆79Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- A list of projectional and structural editors☆425Updated 4 months ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆76Updated last week
- ☆120Updated 2 years ago
- Embeddable Lambda Prolog Interpreter☆337Updated last week
- Nim plugin for UE5 with native performance, hot reloading and full interop that sits between C++ and Blueprints. This allows you to do co…☆536Updated 2 months ago
- The Twelf Programming Language☆149Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆95Updated this week
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆81Updated this week
- Source material for Algebra-Driven Design☆157Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- Hazel, a live functional programming environment with typed holes☆1,066Updated this week
- A modern supercompiler for call-by-value functional languages☆464Updated last month
- A prompt engineering functional programming language☆504Updated last week
- A categorical programming language with effects☆291Updated 2 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆421Updated this week
- A modular game engine and ECS for Haskell☆139Updated last week
- Dependent type checker using normalisation by evaluation☆271Updated last year
- Functional Programming in Games Resources☆221Updated 2 years ago
- ☆278Updated 2 months ago
- A probabilistic programming language based on pattern-rewriting☆86Updated 2 years ago
- OCaml - Oxidized!☆635Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated last week