deepfire / holotypeLinks
An attempt to reimagine knowledge interaction.
☆18Updated 4 years ago
Alternatives and similar repositories for holotype
Users that are interested in holotype are comparing it to the libraries listed below
Sorting:
- An efficient graph library for Haskell☆38Updated 3 weeks ago
- ☆30Updated 2 months ago
- Grow procedual art☆37Updated 5 months ago
- Keep your laziness in check!☆34Updated 3 weeks ago
- reverse dependency build matrix generator☆33Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 9 months ago
- JHC Haskell compiler split into reusable components☆18Updated 2 months ago
- Portable interprocess communication (IPC) in Haskell☆13Updated last year
- Tasty meal of Dhall☆67Updated 2 years ago
- Haskell library of row polymorphic record manipulator☆23Updated 4 years ago
- Create temporary postgres instances☆55Updated last year
- Clean up the formatting of 'show' output☆21Updated 4 months ago
- Haskell time library focusing on performance☆57Updated last month
- UI experiments for coda☆66Updated 4 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 6 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 7 months ago
- ☆35Updated last year
- Overloaded plugin☆30Updated last year
- ☆30Updated 4 years ago
- Inspecting tool for GHC compilation pipeline☆34Updated this week
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated last month
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Socket activation and other systemd integration for the Warp web server (WAI)☆21Updated 2 weeks ago
- A simple interface for generating persistent data and linking its dependencies☆47Updated last month
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Reification of data structures using observable sharing☆29Updated 10 months ago