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.☆74Updated last month
- A toy symbolic execution engine, supporting the blog article ...☆18Updated 3 years ago
- Genetic program repair using GHC☆30Updated last year
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated 3 weeks ago
- A book about datalog☆12Updated 2 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated this week
- Language-generic workbench for building static analysis☆47Updated last year
- A tool for translating imperative programs to CSP.☆12Updated 8 years ago
- Formal specification of the Haskell Language Report☆24Updated 2 weeks ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Haskell bindings for the Souffle datalog language☆105Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆16Updated 3 months ago
- An interactive visualizer for linear temporal logic (LTL)☆33Updated 4 years ago
- CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive program…☆19Updated 3 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Updated 4 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago
- ☆16Updated 6 months ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- LLVM support for the lean theorem prover☆51Updated 3 years ago
- PolyRPC, A multi-tier functional programming language☆20Updated 2 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated 3 weeks ago
- Interactive Theorem Proving for students☆20Updated 2 years ago