☆17Jul 24, 2025Updated 7 months ago
Alternatives and similar repositories for hw-xml
Users that are interested in hw-xml are comparing it to the libraries listed below
Sorting:
- A minimalist approach to an OpenTracing for Haskell☆17Dec 19, 2021Updated 4 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- ☆10May 3, 2017Updated 8 years ago
- A Haskell implementation of distributed hash tables with two-phase commit.☆10Dec 9, 2016Updated 9 years ago
- A formalization of Constructive Projective Geometry in Agda☆12Jun 10, 2019Updated 6 years ago
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- Haskell space profiling toolset☆14Nov 7, 2018Updated 7 years ago
- A Haskell implementation of a very compact representation of a placeholder for an image. https://blurha.sh☆12Mar 30, 2023Updated 2 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Reasonably efficient probability monad for Haskell.☆19Jan 12, 2014Updated 12 years ago
- Talk on generic parallel scan☆14May 12, 2017Updated 8 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- An implementation of the flatbuffers protocol in Haskell.☆32Aug 25, 2024Updated last year
- The Prettiest Printer☆35Feb 14, 2024Updated 2 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 4 months ago
- An abstract machine using indexed containers and their zippers☆13Dec 29, 2016Updated 9 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 8 years ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated last year
- Bash script that downloads a full set of available stack and hackage resources ready to be mirrored offline.☆15Feb 22, 2020Updated 6 years ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 3 years ago
- A Haskell libary for generating low-level sounds with high-level combinators.☆17Oct 10, 2024Updated last year
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 8 years ago
- Simple Structured logger☆14Jun 8, 2025Updated 8 months ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 7 years ago
- Fixed length vector for haskell☆21Updated this week
- A monadic (and pretty) pretty printer for Haskell☆39Jul 12, 2023Updated 2 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- ☆18Jul 24, 2025Updated 7 months ago
- A No-JavaScript Tailwind runner in Haskell☆19Feb 18, 2025Updated last year
- fast clustering algorithms☆15Feb 13, 2019Updated 7 years ago