langston-barrett / souffle-lint
A linter for Soufflé Datalog
☆13Updated 11 months ago
Alternatives and similar repositories for souffle-lint:
Users that are interested in souffle-lint are comparing it to the libraries listed below
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆66Updated this week
- Genetic program repair using GHC☆30Updated 9 months ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- A toy symbolic execution engine, supporting the blog article ...☆17Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆36Updated 6 months ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated this week
- A book about datalog☆12Updated 2 years ago
- Experimentation project☆16Updated 11 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆16Updated 4 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated 11 months ago
- ☆16Updated 3 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago
- Deep-embedded combinators for strategic rewriting.☆15Updated 3 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 4 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆21Updated 8 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- Linear map categories in Agda☆5Updated last year
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated this week
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A Lean 4 formalization of partial combinatory algebras.☆13Updated last month
- Port "Software Foundations" to LiquidHaskell☆11Updated 5 years ago
- Dependent hash maps☆14Updated 9 months ago