Tutorial series introducing Agda to the people at BCAM
☆29Nov 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 7 years ago
- Composable code-quality tools☆13Jun 22, 2018Updated 8 years ago
- Haskell bindings to Chez Scheme☆11Sep 4, 2023Updated 3 years ago
- STM on Free monads☆25May 16, 2018Updated 8 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 3 years ago
- Learn the Agda basics in three 2-hour sessions.☆60Sep 26, 2025Updated last year
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆21Jun 3, 2026Updated 5 months ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆14Jan 16, 2022Updated 4 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 4 years ago
- A tiny JSON library with light dependency footprint☆13May 23, 2026Updated 5 months ago
- Faceted execution in Racket☆12Sep 11, 2018Updated 8 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.
- ☆12Nov 21, 2019Updated 6 years ago
- Session Types with Priority in Linear Haskell☆28Jun 11, 2024Updated 2 years ago
- An automatic declarative ASCIInema recorder☆46Jun 1, 2026Updated 5 months ago
- Tutorial for Creusot☆13Oct 14, 2026Updated 3 weeks ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- S. Marlow's Par monad with dataflow graph output☆13Mar 26, 2018Updated 8 years ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆31Dec 3, 2021Updated 4 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 7 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.
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 3 years ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 5 years ago
- Typing the linear pi calculus in Agda☆30Mar 15, 2022Updated 4 years ago
- Implementing CIS 194 (2013) Haskell course in C++☆24Nov 6, 2025Updated last year
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- Formalizations of Gradually Typed Languages in Agda☆60Mar 2, 2026Updated 8 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 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 Dependently Typed Linear π-Calculus in Agda☆17Oct 22, 2021Updated 5 years 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.
- Lecture notes on algorithms and data structures. Begun as written notes for A&DS from Pavel Marvin.☆13May 26, 2026Updated 5 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Formal Verification for JavaScript Regular Expressions☆15Updated this week
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆75May 10, 2019Updated 7 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Conway's game of life in 100 lines or less!☆35Aug 10, 2017Updated 9 years ago