TikhonJelvis / inductive-mazes
Code for my blog post "Generating Mazes with Inductive Graphs"
☆36Updated 6 years ago
Alternatives and similar repositories for inductive-mazes:
Users that are interested in inductive-mazes are comparing it to the libraries listed below
- A Haskell game written in Yampa☆27Updated last year
- Source for personal blog.☆77Updated 3 weeks ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 8 years ago
- Named parameters (keyword arguments) for Haskell☆94Updated last month
- Where I try code from Haskell (etc) books, articles, etc.☆36Updated last year
- second-order abstract syntax☆31Updated 3 years ago
- Library of categories, with categorical constructions on them☆56Updated last year
- The theory of groups☆76Updated last year
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- ☆41Updated 5 years ago
- First-class type families☆87Updated 8 months ago
- A typed, persistent store for values of arbitrary types☆60Updated last month
- The Software Foundations book, in GHC☆82Updated 3 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 8 months ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- A language based on homotopy type theory with an interval☆85Updated 10 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- being the materials for Summer 2013's course☆112Updated 2 years ago
- ☆125Updated last year
- Haskell library for semigroup actions and torsors☆61Updated 2 months ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- Classic games recreated in netwire☆94Updated 8 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- Typed filepath☆125Updated 3 months ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago