BartoszMilewski / ThreeDeeLinks
Three-dimensional category theory diagram server using Haskell and Yesod
☆10Updated 7 years ago
Alternatives and similar repositories for ThreeDee
Users that are interested in ThreeDee are comparing it to the libraries listed below
Sorting:
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 4 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated 2 years ago
- Conway's Game of Life using a comonad☆23Updated 6 months ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- BoringSSL-backed TLS and cryptography library for Haskell☆15Updated 6 years ago
- ☆10Updated 3 years ago
- A very simple example of how to use Alex and Happy to build a language processor in Haskell.☆15Updated 10 years ago
- Emits code crossreference data for Haskell sources.☆101Updated 5 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- ☆29Updated 5 years ago
- Library for generating Haskell source files and code fragments.☆98Updated 7 months ago
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- ☆14Updated 7 years ago
- prevent XSS attacks by sanitizing html (this is different then escaping!)☆20Updated last year
- Speculate laws about Haskell functions☆30Updated 5 months ago
- lazy continued fractions☆19Updated 9 years ago
- Library of categories, with categorical constructions on them☆56Updated last year
- Nested client-side routing for Reflex-DOM☆11Updated 3 years ago
- A subfield of the complex numbers for exact calculation.☆21Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- Haskell: Monorepo for our open source packages☆17Updated 7 years ago
- (a subset of) x86 assembly debugger☆11Updated 3 years ago
- UCI Datasets for Haskell☆12Updated 8 years ago
- topos programming☆31Updated 6 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- generalize counter-examples of property-based testing☆13Updated 5 months ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 11 months ago
- A high-performance, reasonably robust HTML5 tokenizer☆30Updated 2 months ago
- Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files☆34Updated 4 months ago