TOTBWF / agda-tic-tac-toe
Tic Tac Toe, formalized in Agda
☆23Updated 3 years ago
Alternatives and similar repositories for agda-tic-tac-toe:
Users that are interested in agda-tic-tac-toe are comparing it to the libraries listed below
- Linear map categories in Agda☆5Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Regular expressions of types☆16Updated 6 years ago
- Dependent hash maps☆14Updated 10 months ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.☆11Updated 7 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Category theory formalized in cubical agda☆20Updated 5 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆14Updated 7 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated last year
- being a particular fragment of Haskell, extended to a proof system☆30Updated last month
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Experiments with linear types☆14Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- being an experiment with potato power☆23Updated 5 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Zippers for cofree types☆12Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 months ago
- Markup language on top of Haskell☆12Updated 4 months ago
- Session Types with Priority in Linear Haskell☆26Updated 9 months ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago