Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
☆54Jul 1, 2026Updated 2 weeks ago
Alternatives and similar repositories for pure-borrow
Users that are interested in pure-borrow are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experiment to see what interpretation into (pre)sheaves categories look like☆29Jun 26, 2026Updated 2 weeks ago
- Libraries and server implementation for the game Minecraft☆14Jul 9, 2024Updated 2 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 5 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- A modern step-through debugger for GHC Haskell☆145Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 9 months ago
- Hatter is like flutter but instead of dart, haskell!☆36Updated this week
- Refinement type checking and inference tool for Rust☆24Jul 8, 2026Updated last week
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Nov 5, 2023Updated 2 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 11 months ago
- Fast, friendly GHCi☆94Jun 21, 2026Updated 3 weeks ago
- `linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.☆21Updated this week
- Dump the declarations of Haskell modules☆20Jun 29, 2026Updated 2 weeks ago
- Notes of Programming Languages☆11Nov 30, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated last year
- GHC plugin for automatic case splitting☆19May 13, 2026Updated 2 months ago
- Up-to-data version of plutus-scaffold. It's a fuller example utilizing ctl, see the overview in README. This project contains the build s…☆10May 23, 2023Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Haskell wrapper for iced☆39Feb 22, 2026Updated 4 months ago
- An implementation of a small subset of the Wolfram language in Haskell☆20Apr 19, 2026Updated 2 months ago
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 5 years ago
- Haskell implemented with combinators☆759Updated this week
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Mocking and Specification Tool for API prototyping☆14Nov 28, 2022Updated 3 years ago
- Distributions of Agda executable compiled into WebAssembly.☆25Apr 4, 2026Updated 3 months ago
- Session types framework with support of protocol pipelining.☆16Jun 23, 2026Updated 3 weeks ago
- A compiler for language "memento"☆31Jul 1, 2025Updated last year
- Full spectrum sheaf neural network over arbitrary CW complexes.☆18Apr 1, 2026Updated 3 months ago
- Extend Cabal build-depends from the command line☆60Jul 1, 2026Updated 2 weeks ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated last month
- SQL-first, type-safe PostgreSQL client code generator☆154Updated this week
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Jan 4, 2019Updated 7 years ago
- ☆24Jun 22, 2026Updated 3 weeks ago
- A benchmark comparing different ways of building a strict bytestring in Haskell☆25Feb 14, 2023Updated 3 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- Override instances used by Haskell's generic derivation☆31Jul 28, 2022Updated 3 years ago
- Monadic React Demo☆16Apr 27, 2026Updated 2 months ago