google / orthotopeLinks
☆10Updated 3 years ago
Alternatives and similar repositories for orthotope
Users that are interested in orthotope are comparing it to the libraries listed below
Sorting:
- BoringSSL-backed TLS and cryptography library for Haskell☆15Updated 6 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated 2 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- Coq BPF interpreter☆19Updated 7 years ago
- ☆20Updated 9 years ago
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- generalize counter-examples of property-based testing☆13Updated 5 months ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 4 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Operations for sequentially ordered types☆11Updated 2 years ago
- git mirror of language-c darcs repo at http://code.haskell.org/language-c☆14Updated last year
- Emits code crossreference data for Haskell sources.☆101Updated 5 months ago
- Functions for working with PureScripts 'Number' type☆13Updated last year
- Tuple data type and utility functions☆26Updated 2 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 6 years ago
- Unfoldable functors☆16Updated 3 years ago
- Call-by-need values☆30Updated 2 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Updated 5 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 5 months ago
- URI manipulation facilities☆25Updated 4 months ago
- ☆15Updated last year
- Library for generating Haskell source files and code fragments.☆98Updated 7 months ago
- Three-dimensional category theory diagram server using Haskell and Yesod☆10Updated 7 years ago
- Using parsec☆9Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 2 weeks ago
- Markup language on top of Haskell☆12Updated 8 months ago
- Haskell helpers for deploying to Heroku☆18Updated 10 years ago