Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets
☆295Apr 7, 2023Updated 3 years ago
Alternatives and similar repositories for VerseProgrammingLanguage
Users that are interested in VerseProgrammingLanguage are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A curated list of awesome resources, examples and tutorials for Verse, the programming language created by Epic Games.☆79Dec 26, 2023Updated 2 years ago
- A community driven book to learn the Verse programming language that powers Epic Games' UEFN.☆21Apr 9, 2023Updated 3 years ago
- Documentation for Verse and UEFN restructured with Markdown☆26Jun 14, 2024Updated last year
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- Information and links about Epic's Unreal Engine including Verse programming language for UEFN, Unreal, Fortnite and the Metaverse along …☆113Apr 8, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A collection of a ton of Verse scripts for UEFN / Fortnite Creative!☆83Aug 20, 2024Updated last year
- ☆60Aug 24, 2023Updated 2 years ago
- A basic repository to track multiple UEFN related diffs.☆88Updated this week
- ☆11Oct 11, 2024Updated last year
- The Verse Programming Language☆170Feb 11, 2022Updated 4 years ago
- Interpreter of the Verse programming language (this language is the precursor of Basalt)☆17Jan 23, 2025Updated last year
- Formalization of Homotopy Type Theory for use in my Youtube videos☆17May 28, 2024Updated last year
- Linear lens☆21Feb 14, 2024Updated 2 years ago
- Streaming effects for PureScript☆16Nov 8, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Minimal examples of crates useful for compiler development☆28Updated this week
- Examples of UEFN devices code written in Verse☆22Apr 1, 2024Updated 2 years ago
- Getting started with Python in Unreal Engine☆23Jun 5, 2023Updated 2 years ago
- Boilerplate-eliminator when working with free monads.☆14Jun 27, 2022Updated 3 years ago
- Agda-style equational reasoning in Haskell☆57Jan 18, 2026Updated 3 months ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 3 years ago
- All kinds of Roc examples☆46Feb 28, 2026Updated 2 months ago
- This extension provides syntax support for Epic Games' Verse programming language☆17Nov 19, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Test monadic programs using state machine based models☆19Feb 17, 2026Updated 2 months ago
- Horn Clause Constraint Solving for Liquid Types☆160Updated this week
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆140Aug 25, 2023Updated 2 years ago
- Classical Logic in Haskell☆23Nov 19, 2025Updated 5 months ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Apr 18, 2026Updated 2 weeks ago
- Visual functional programming language☆22Dec 10, 2023Updated 2 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- ActionRPG for ue5☆28Apr 29, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆230Jan 22, 2024Updated 2 years ago
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 5 years ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 2 years ago
- CSS in PureScript☆38Oct 6, 2023Updated 2 years ago
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago