langston-barrett / souffle-lint
A linter for Soufflé Datalog
☆14Updated last year
Alternatives and similar repositories for souffle-lint
Users that are interested in souffle-lint are comparing it to the libraries listed below
Sorting:
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆68Updated 2 weeks ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- A book about datalog☆12Updated 2 years ago
- Genetic program repair using GHC☆30Updated last year
- A toy symbolic execution engine, supporting the blog article ...☆17Updated 3 years ago
- The Steel separation logic library for F*☆34Updated last week
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- Stratified synthesis for learning machine code instruction semantics☆37Updated this week
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- Dafny for Metatheory of Programming Languages☆25Updated this week
- Kleene algebra modulo theories☆27Updated 2 years ago
- A Lean 4 formalization of partial combinatory algebras.☆13Updated 4 months ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 4 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- ☆48Updated 2 months ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- Agda grammar for tree-sitter☆37Updated 6 months ago
- A tool for translating imperative programs to CSP.☆12Updated 8 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated 3 months ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 6 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Updated 4 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 2 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆16Updated 4 years ago
- An overview of property-based testing functionality☆66Updated 3 weeks ago