The haskell network stack
☆117Jan 16, 2018Updated 8 years ago
Alternatives and similar repositories for HaNS
Users that are interested in HaNS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Haskell File System: A file system implementation in Haskell☆37May 9, 2015Updated 11 years ago
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,069Dec 6, 2018Updated 7 years ago
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- WIP Handbook for MirageOS☆14Mar 15, 2018Updated 8 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Haskell implementation of the Tor protocol.☆275Nov 3, 2017Updated 8 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 9 years ago
- Clipboard synchronization tool☆14Jul 2, 2026Updated 3 months ago
- ☆11Apr 3, 2020Updated 6 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 9 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Updated this week
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆21Apr 14, 2023Updated 3 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 7 years ago
- Automatic versioning of JSON formats for Haskell data types (with backwards compatibility)☆32Sep 23, 2026Updated 3 weeks ago
- Library and executable for working with playlist files.☆13Dec 15, 2025Updated 10 months ago
- ☆11May 7, 2023Updated 3 years ago
- IP Routing Table in Haskell☆47Mar 9, 2026Updated 7 months ago
- Gidl: an Interface Description Language☆11Aug 11, 2017Updated 9 years ago
- A DSL for generating GR(1) problems☆12Jul 27, 2021Updated 5 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- An experimental intermediate language for GHC☆36Sep 8, 2017Updated 9 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Sep 25, 2026Updated 3 weeks ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆20Aug 23, 2021Updated 5 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 5 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 7 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆43Jul 21, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 6 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated last year
- A Haskell implementation of distributed hash tables with two-phase commit.☆10Dec 9, 2016Updated 9 years ago
- Haskell JSON schema validator and parser generator☆64Jan 6, 2023Updated 3 years ago
- ListT done right☆16Oct 11, 2023Updated 3 years ago
- A human readable style for binary data.☆12Dec 4, 2019Updated 6 years ago
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago