evincarofautumn / WardView external linksLinks
A static analysis tool for C.
☆29Oct 29, 2019Updated 6 years ago
Alternatives and similar repositories for Ward
Users that are interested in Ward are comparing it to the libraries listed below
Sorting:
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- command-line Haskell with 'ghc -e'☆22Aug 11, 2017Updated 8 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆23Oct 22, 2023Updated 2 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 8 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- A two-dimensional parser combinator library.☆42May 26, 2017Updated 8 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 5 months ago
- Church-encoding of the Freer monad☆28Oct 27, 2016Updated 9 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago
- An unofficial issue tracker for all things Haskell-related☆18Mar 31, 2016Updated 9 years ago
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 8 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Classical Logic in Haskell☆24Nov 19, 2025Updated 2 months ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 6 years ago
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 5 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- A generalization of distributed-process functions to a MonadProcess typeclass and standard transformer instances using monad-control and …☆12Feb 25, 2018Updated 7 years ago
- Lenses and Traversals for Aeson, based on Microlens.☆15Dec 12, 2025Updated 2 months ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 8 years ago
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 8 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago