☆17Jul 17, 2023Updated 3 years ago
Alternatives and similar repositories for gradual-eff-paper
Users that are interested in gradual-eff-paper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated last year
- ☆22Jan 29, 2023Updated 3 years ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- Type-safe WebAssembly eDSL in Haskell☆28Oct 20, 2024Updated 2 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- ☆17Feb 1, 2026Updated 9 months ago
- ☆17Nov 11, 2021Updated 4 years ago
- A helpful AI assistant for Mercury engineers☆20Jan 9, 2026Updated 9 months ago
- Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]☆12Feb 2, 2024Updated 2 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆19May 8, 2026Updated 5 months ago
- APIs for more recursive definitions☆19Oct 26, 2024Updated 2 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- ☆22Aug 28, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆14Dec 29, 2025Updated 10 months ago
- Agda formalisation of NbE for λ□☆18Dec 5, 2017Updated 8 years ago
- GHC plugin to add eventlog tracing for foreign function calls☆16Jan 14, 2025Updated last year
- Leightweight generalized parser combinators☆20Nov 23, 2023Updated 2 years ago
- ☆23Jul 1, 2024Updated 2 years ago
- Functional choreographic programming in Haskell☆137Jun 4, 2026Updated 5 months ago
- Haskell Actors☆26Sep 5, 2023Updated 3 years ago
- A bioinformatics tool for analyzing somatic hypermutation☆19Feb 10, 2024Updated 2 years ago
- Source material for Certainty by Construction☆53Jan 20, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Matrix builds for cabal☆18Jun 8, 2026Updated 4 months ago
- an arrowized category-forward language☆20Oct 14, 2025Updated last year
- Demo for dependent types + runtime code generation☆72Sep 9, 2026Updated last month
- ☆32Jul 21, 2023Updated 3 years ago
- Session Types with Priority in Linear Haskell☆28Jun 11, 2024Updated 2 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆23Apr 3, 2024Updated 2 years ago
- Algebraic effects in the Bluefin effect system☆25May 13, 2026Updated 5 months ago
- Algebraic proof discovery in Agda☆36Dec 6, 2021Updated 4 years ago
- coinduction library for Coq☆28Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- eta-spark is a library that provides complete bindings for Apache Spark☆21Sep 13, 2018Updated 8 years ago
- Code samples for the talk "Making Illegal States Unrepresentable"☆14Nov 23, 2021Updated 4 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated 2 years ago
- ☆20May 22, 2023Updated 3 years ago
- Rope data structure used by Yi☆20Jun 6, 2018Updated 8 years ago
- A REST API testing desktop app☆12Dec 9, 2022Updated 3 years ago
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 10 years ago