GaloisInc / hpbView external linksLinks
Haskell Protocol Buffers
☆12Jan 22, 2020Updated 6 years ago
Alternatives and similar repositories for hpb
Users that are interested in hpb are comparing it to the libraries listed below
Sorting:
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- ☆12Aug 2, 2015Updated 10 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 7 years ago
- Chrome Extension to check github issues assigned to you☆14Feb 7, 2023Updated 3 years ago
- A haskell email client☆10Jul 20, 2016Updated 9 years ago
- A human readable style for binary data.☆12Dec 4, 2019Updated 6 years ago
- Simple setup for deploying Haskell to Amazon Lambda☆14Jun 25, 2020Updated 5 years ago
- Self-Organising Map implementation in Haskell☆24Sep 4, 2022Updated 3 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- Bash script that downloads a full set of available stack and hackage resources ready to be mirrored offline.☆15Feb 22, 2020Updated 5 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Polymorphic music library with export to musicxml and midi☆16Jan 20, 2024Updated 2 years ago
- ...is a web based user interface with controls for the mpv mediaplayer.☆14Dec 26, 2020Updated 5 years ago
- A simple text editor written in Haskell with Brick☆13Mar 28, 2019Updated 6 years ago
- Simulate keyboard and mouse events using Haskell☆18Feb 16, 2015Updated 10 years ago
- A Haskell implementation of 2048 with Reflex.☆13Oct 1, 2017Updated 8 years ago
- A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.☆31Jul 30, 2019Updated 6 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Oct 14, 2016Updated 9 years ago
- A minimalist approach to an OpenTracing for Haskell☆17Dec 19, 2021Updated 4 years ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- Experimental Haskell machine learning library☆35May 25, 2017Updated 8 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated last year
- A Digital Ocean client in Haskell☆16Aug 22, 2019Updated 6 years ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Sep 18, 2015Updated 10 years ago
- Web app written in Haskell (GHCJS) for visualizing building geometry☆14Nov 26, 2020Updated 5 years ago
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- Use the github search API to clone github repositories.☆16Jun 24, 2019Updated 6 years ago
- A subfield of the complex numbers for exact calculation.☆22May 22, 2020Updated 5 years ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- ☆24Jun 10, 2023Updated 2 years ago
- Concurrency library inspired by Erlang/OTP☆19May 9, 2025Updated 9 months ago
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago