langston-barrett / souffle-lintLinks
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.☆69Updated last month
- Stratified synthesis for learning machine code instruction semantics☆37Updated this week
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- Incremental Program Analysis Framework☆90Updated 4 years ago
- Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin☆12Updated last year
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- A toy symbolic execution engine, supporting the blog article ...☆17Updated 3 years ago
- ☆16Updated 3 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆16Updated 4 years ago
- A book about datalog☆12Updated 2 years ago
- Genetic program repair using GHC☆30Updated last year
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- BDD-based implementation of Datalog☆37Updated 4 years ago
- Deep-embedded combinators for strategic rewriting.☆15Updated 3 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- Patches Assured up to Trace Equivalence☆16Updated 2 months ago
- ☆49Updated 3 months ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- ☆23Updated 6 months ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Experimentation project☆16Updated 11 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive program…☆17Updated 3 years ago
- ☆29Updated 9 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Datalog + Egg = Good☆66Updated 2 years ago