GaloisInc / halfsView external linksLinks
The Haskell File System: A file system implementation in Haskell
☆38May 9, 2015Updated 10 years ago
Alternatives and similar repositories for halfs
Users that are interested in halfs are comparing it to the libraries listed below
Sorting:
- The haskell network stack☆118Jan 16, 2018Updated 8 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 4 years ago
- A simple interface for building .dot graph files.☆19Apr 16, 2021Updated 4 years ago
- Script to download all of Hackage☆16Jul 14, 2019Updated 6 years ago
- Auth0 API in Haskell☆26Oct 18, 2018Updated 7 years ago
- Types and classes for defining JSON schemas.☆23Oct 3, 2018Updated 7 years ago
- ☆15May 16, 2017Updated 8 years ago
- A simple wrapper of an IO computation to show the used CPU time.☆16Mar 14, 2025Updated 11 months ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 6 years ago
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 5 years ago
- ☆20Apr 17, 2019Updated 6 years ago
- An experiment in re-implementing big integers in Haskell.☆40Dec 9, 2022Updated 3 years ago
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,066Dec 6, 2018Updated 7 years ago
- Raw string literals for Haskell.☆25Mar 19, 2018Updated 7 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- ☆24Jun 10, 2023Updated 2 years ago
- ☆21Apr 14, 2023Updated 2 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- Universal and robust reloading for Haskell web applications☆70Feb 20, 2022Updated 3 years ago
- Bidirectional mapping between two key types☆21May 1, 2024Updated last year
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Haskell library abstracting common network sockets usage patterns.☆32Dec 12, 2023Updated 2 years ago
- A monadic DSL for simple configuration parsing☆27Jun 4, 2025Updated 8 months ago
- Haskell data types and functions for countries☆28Mar 7, 2025Updated 11 months ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated last month
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 6 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- ☆14Jul 4, 2022Updated 3 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- Tesla API for Haskell☆15Dec 15, 2025Updated last month