Polymorphic guarded λ-calculus
☆22Oct 22, 2026Updated last week
Alternatives and similar repositories for glam
Users that are interested in glam are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Apr 19, 2022Updated 4 years ago
- ☆25Mar 2, 2026Updated 7 months ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- ☆15Sep 18, 2026Updated last month
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Low-level multicore utilities for OCaml☆14Jan 18, 2026Updated 9 months ago
- Pure Borrow: Linear Haskell Meets Rust-Style Borrowing☆63Oct 4, 2026Updated 3 weeks ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆22Oct 12, 2026Updated 2 weeks ago
- An experiment to see what interpretation into (pre)sheaves categories look like☆29Jun 26, 2026Updated 4 months ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- My Agda/Mikan stuff☆13Oct 23, 2026Updated last week
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Feb 26, 2024Updated 2 years ago
- A Haskell Bittorrent Tracker. Uses snap for web, and handles UDP also.☆10Aug 4, 2021Updated 5 years ago
- Lennart Augustsson's lamda cube☆12Jul 13, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- ☆24Aug 14, 2026Updated 2 months ago
- Icicle Streaming Query Language☆30Jan 20, 2026Updated 9 months ago
- Formal specification of the Haskell Language Report☆34Mar 2, 2026Updated 7 months ago
- Just another IRC bot.☆14Updated this week
- PWV Functional Language☆17Oct 30, 2023Updated 3 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat☆14Apr 8, 2020Updated 6 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆138Aug 7, 2026Updated 2 months ago
- 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.
- Moved to https://codeberg.org/ncf/config☆28Mar 15, 2026Updated 7 months ago
- A natural transformation package☆16Jan 8, 2026Updated 9 months ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 3 weeks ago
- haskell posix bindings☆19Aug 5, 2025Updated last year
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆20Jun 24, 2026Updated 4 months ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆19Jul 23, 2016Updated 10 years ago
- Programming with pure lambda calculus☆145Jul 16, 2026Updated 3 months ago
- Type level string parser combinators☆20Jul 3, 2026Updated 3 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Sep 25, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Dec 16, 2020Updated 5 years ago
- ☆10Jun 6, 2015Updated 11 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated 3 months ago
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- Zippers for cofree types☆15Dec 7, 2021Updated 4 years ago
- Control.Effects☆19Apr 14, 2019Updated 7 years ago