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:
- The Verse Programming Language☆168Feb 11, 2022Updated 4 years ago
- 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
- Boilerplate-eliminator when working with free monads.☆14Jun 27, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Agda-style equational reasoning in Haskell☆56Jan 18, 2026Updated 2 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☆47Feb 28, 2026Updated last month
- Test monadic programs using state machine based models☆19Feb 17, 2026Updated last month
- Horn Clause Constraint Solving for Liquid Types☆160Apr 8, 2026Updated last week
- ☆17Jan 18, 2023Updated 3 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- Standard library for linear types in Haskell.☆356Feb 27, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🚧 a work in progress effect system for Haskell 🚧☆139Aug 25, 2023Updated 2 years ago
- Classical Logic in Haskell☆24Nov 19, 2025Updated 4 months ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Mar 31, 2026Updated 2 weeks ago
- Visual functional programming language☆22Dec 10, 2023Updated 2 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CSS in PureScript☆38Oct 6, 2023Updated 2 years ago
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- Benchmarks for capture-avoiding substitution☆123May 30, 2025Updated 10 months ago
- A template for developing with Haskell using Nix☆18Nov 10, 2020Updated 5 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆63Aug 8, 2023Updated 2 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 5 years ago
- client for a snow2 repository☆12Mar 18, 2019Updated 7 years ago
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Gallina to Bedrock2 compilation toolkit☆66Apr 6, 2026Updated last week
- Haskell Tiny Game Jam☆170Aug 31, 2023Updated 2 years ago
- 🐘 Use PostgreSQL databases from Roc☆53Jun 17, 2025Updated 9 months ago
- Pico version of revised⁷ report on the algorithmic language scheme☆31Jan 12, 2025Updated last year
- Scheme library collection with yearly stable releases☆17Jun 5, 2022Updated 3 years ago
- An unbounded and bounded queue for concurrent access.☆10Apr 27, 2022Updated 3 years ago
- Haskell binding for Gremlin graph query language☆27Jan 8, 2026Updated 3 months ago