langston-barrett / souffle-lintLinks
A linter for Soufflé Datalog
☆15Updated 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.☆76Updated this week
- A toy symbolic execution engine, supporting the blog article ...☆18Updated 4 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- Genetic program repair using GHC☆30Updated last year
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- Haskell bindings for the Souffle datalog language☆105Updated last year
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆16Updated 5 years ago
- The Steel separation logic library for F*☆36Updated last month
- Constructive Galois connections☆35Updated 7 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated last month
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Updated last year
- Language-generic workbench for building static analysis☆47Updated last year
- CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive program…☆19Updated 4 years ago
- ☆16Updated 7 months ago
- A book about datalog☆12Updated 2 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- Finite sets and maps for Coq with extensional equality☆30Updated 3 months ago
- A formally verified bug finder☆13Updated 10 months ago
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 6 years ago
- Match compilation algorithm in OCaml☆30Updated 7 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆54Updated 5 years ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated 3 weeks ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- EGraphs in OCaml☆74Updated last year
- Alternative implementation of the logical framework Dedukti in Rust☆22Updated 5 months ago