bodil / spectre-of-free-software
☆22Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for spectre-of-free-software
- ☆23Updated 6 years ago
- ☆23Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- complexity testing for haskell☆47Updated 8 years ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Run a program as a daemon☆5Updated 3 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 7 years ago
- QuickCheck extras.☆29Updated 5 years ago
- TODO☆10Updated 9 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- Dhall helpers for github actions☆55Updated last year
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- A small profunctor library for idris☆16Updated 2 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Convert NPM packages into nix expressions☆49Updated 5 years ago
- Generate Halogen forms from types☆11Updated 7 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 7 years ago
- ☆41Updated 7 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated last month
- ☆40Updated 6 years ago
- A http client for Idris based on libcurl☆10Updated 8 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Managing third-party Haskell packages in Bazel☆30Updated 5 years ago