evincarofautumn / WardLinks
A static analysis tool for C.
☆27Updated 5 years ago
Alternatives and similar repositories for Ward
Users that are interested in Ward are comparing it to the libraries listed below
Sorting:
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Updated 14 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32Updated 6 years ago
- ☆23Updated last year
- Austin's supercompiler work☆21Updated 5 years ago
- Regular expressions of types☆16Updated 6 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- The Prettiest Printer☆35Updated last year
- Build tool for ATS.☆41Updated 3 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- generate ATS interface from C code☆20Updated 8 years ago
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- ☆21Updated 9 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Updated 7 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago