Tutorial series introducing Agda to the people at BCAM
☆27Nov 29, 2021Updated 4 years ago
Alternatives and similar repositories for agda-bcam
Users that are interested in agda-bcam 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 Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 6 years ago
- STM on Free monads☆25May 16, 2018Updated 7 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- Learn the Agda basics in three 2-hour sessions.☆60Sep 26, 2025Updated 6 months ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 5 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Feb 22, 2020Updated 6 years ago
- Composable code-quality tools☆13Jun 22, 2018Updated 7 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- An automatic declarative ASCIInema recorder☆46Dec 3, 2025Updated 3 months ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Mechanizing Types and Programming Languages using Beluga☆21May 29, 2020Updated 5 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆31Dec 3, 2021Updated 4 years ago
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 6 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Formalizations of Gradually Typed Languages in Agda☆59Mar 2, 2026Updated 3 weeks ago
- Typing the linear pi calculus in Agda☆29Mar 15, 2022Updated 4 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆105Aug 11, 2025Updated 7 months 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.
- Benchmarking tool for compile-time performance of Agda programs☆19Jan 26, 2022Updated 4 years ago
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 3 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆75May 10, 2019Updated 6 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Session Type EDSL for Rust☆103Jun 29, 2022Updated 3 years ago
- Haskell libraries for working with the Stripe API☆21Jan 26, 2025Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- Semigroups, specialized containers and a general map/reduce framework☆46Mar 3, 2025Updated last year
- Organization and planning for the Initial Types Club☆75Sep 22, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago