bodil / spectre-of-free-softwareLinks
☆22Updated 5 years ago
Alternatives and similar repositories for spectre-of-free-software
Users that are interested in spectre-of-free-software are comparing it to the libraries listed below
Sorting:
- ☆23Updated 7 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- A http client for Idris based on libcurl☆10Updated 9 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated 3 weeks ago
- A simple XML module for Idris.☆13Updated 5 years ago
- Dhall helpers for github actions☆54Updated last year
- ☆16Updated 2 months ago
- Create and animate sprites easily with sdl2 (Haskell)☆23Updated 7 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- Try Idris☆35Updated 9 years ago
- ☆41Updated 7 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- ☆23Updated 8 years ago
- An HTTP library for idris☆39Updated 6 years ago