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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Type-level assertion operators☆16Mar 20, 2018Updated 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- Classical Logic in Haskell☆24Nov 19, 2025Updated 4 months ago
- Derive editors for data types.☆29Oct 5, 2014Updated 11 years ago
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 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
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 6 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 two-dimensional parser combinator library.☆42May 26, 2017Updated 8 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 7 months ago
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆23Oct 22, 2023Updated 2 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Church-encoding of the Freer monad☆28Oct 27, 2016Updated 9 years ago
- An unofficial issue tracker for all things Haskell-related☆18Mar 31, 2016Updated 9 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 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.
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆61Apr 16, 2017Updated 8 years 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 7 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 8 years ago
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago