TikhonJelvis / inductive-mazes
Code for my blog post "Generating Mazes with Inductive Graphs"
☆36Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for inductive-mazes
- Named parameters (keyword arguments) for Haskell☆91Updated 2 weeks ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- A Haskell game written in Yampa☆26Updated 8 months ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- second-order abstract syntax☆31Updated 3 years ago
- A Haskell API into HTML5 Canvas☆72Updated 2 weeks ago
- Source for personal blog.☆76Updated last week
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated 2 years ago
- Typed filepath☆123Updated last month
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months ago
- Library of categories, with categorical constructions on them☆54Updated last year
- Generic random generators☆81Updated last year
- Where my everyday research happens☆53Updated 2 months ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- compile your own functional language☆36Updated 5 years ago
- ☆28Updated 6 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 7 months ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- haskell memory☆48Updated last year