BartoszMilewski / ThreeDee
Three-dimensional category theory diagram server using Haskell and Yesod
☆9Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for ThreeDee
- BoringSSL-backed TLS and cryptography library for Haskell☆16Updated 5 years ago
- ☆10Updated 2 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated last year
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 3 years ago
- generalize counter-examples of property-based testing☆13Updated 9 months ago
- A versioning file store backed by git, darcs, or mercurial☆30Updated 6 months ago
- XHTML combinator library☆9Updated 4 months ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- Safe and minimal Haskell Prelude☆10Updated 4 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- Operations for sequentially ordered types☆10Updated 2 years ago
- Fast serialization in haskell☆15Updated 4 years ago
- Contains the system-filepath and system-fileio packages☆9Updated last year
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last week
- Computing lenses generically using generics-sop☆15Updated 2 weeks ago
- I/O utilities and datasets for algebraic-graphs☆13Updated 2 years ago
- Various examples of machine learning, in Haskell.☆20Updated 2 years ago
- Functional Vector Graphics☆15Updated 7 years ago
- An API that wraps around the Tor control port to create ad-hoc hidden services☆10Updated 5 years ago
- A principal solution to ghost threads and silent exceptions☆24Updated last year
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆11Updated 7 years ago
- Documentation for the diagrams project☆19Updated last year
- Use haskell to produce a nix set of maven dependencies!☆12Updated 2 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- A programming language that deduces code from tests☆30Updated 6 years ago
- A fully compliant Haskell 98 lexer.☆15Updated 2 weeks ago
- SVG Combinators for Haskell☆23Updated 7 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year