adamterlson / catan-boardLinks
Settlers of Catan board in D3/SVG
☆8Updated 10 years ago
Alternatives and similar repositories for catan-board
Users that are interested in catan-board are comparing it to the libraries listed below
Sorting:
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 10 years ago
- Visual tool for stepwise evaluation of simple Haskell expressions☆20Updated 5 years ago
- Hakyll support for Agda literate files☆19Updated 4 years ago
- ☆12Updated 4 years ago
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Updated 7 years ago
- A lens-compatible set of getters for purescript-foreign☆10Updated 8 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 8 years ago
- TODO☆23Updated 9 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Updated 4 months ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- An attempt to formalize unix cat in fiat☆12Updated 8 years ago
- playing with hyperfunctions☆16Updated 4 years ago
- A library for interactively creating graphics visualizations☆22Updated 5 years ago
- A Prelude with names from category theory☆51Updated 8 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Updated last year
- Types for the least and greatest fixed points of functors.☆15Updated 3 years ago
- Combinators for manipulating dependently-typed predicates.☆12Updated last year
- Formalization of Opetopes and Opetopic Sets in Agda☆18Updated 8 years ago
- A web audio player demo using Halogen for skipping in different increments☆20Updated 7 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Updated 10 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 10 years ago
- Miscellaneous constructions on monoids☆23Updated 3 months ago
- Executable examples for Elerea.☆18Updated 9 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- purescript-behaviors in PSCi☆19Updated 6 years ago
- Cursor data and manipulation☆21Updated 2 months ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- Expands type synonyms in Template Haskell ASTs☆11Updated 8 months ago