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
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Interactive development for Bazel/Haskell rules☆48Updated 3 years ago
- Operations for sequentially ordered types☆11Updated 2 years ago
- Coq BPF interpreter☆19Updated 7 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- ☆20Updated 9 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Unfoldable functors☆16Updated 3 years ago
- Unofficial repository for the experimental porting of mathlib into lean4☆10Updated 4 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last month
- Haskell implementation of the Unicode Collation Algorithm☆17Updated 4 months ago
- transformers compatibility shim☆10Updated 2 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 5 months ago
- Dependent hash maps☆14Updated last month
- Library for invertible parsing and printing☆32Updated last year
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Updated 5 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Functions for working with PureScripts 'Number' type☆13Updated last year
- Computing lenses generically using generics-sop☆16Updated 7 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- generalize counter-examples of property-based testing☆13Updated 4 months ago
- Deep evaluation of data structures☆41Updated 8 months ago
- ☆20Updated 6 years ago