Ptival / yugioh
Yu-Gi-Oh! simulator
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for yugioh
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆13Updated 4 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 5 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 5 months ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- Physical dimensions and operations☆9Updated 6 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 6 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)☆12Updated 3 years ago
- Reification of data structures using observable sharing☆28Updated 2 weeks ago
- High level download interface for Haskell☆10Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- A RWS like monad without the slow writer stuff☆12Updated last year
- Bring fusion to everyone☆13Updated 4 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- KU Leuven Haskell Compiler☆16Updated 3 years ago
- Optics via the profunctor representation theorem☆23Updated 2 years ago
- A reversible language☆23Updated 6 years ago
- ☆23Updated 6 years ago
- A toy Parser+Compiler+Typechecker☆12Updated last year
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 6 years ago
- `uhttpc` - µHTTP client library☆27Updated 5 years ago
- Map and Set over contiguous memory☆21Updated last year
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- A simple, purely-functional programming language☆24Updated 2 years ago
- ☆10Updated 3 years ago
- Run cabal inside nix-shell☆14Updated 5 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 2 years ago