langston-barrett/souffle-lint langston-barrett/souffle-lint

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Rust
  • License
    MIT License
  • Created about 2 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
langston-barrett/souffle-lint
github

langston-barrett

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A linter for Soufflé Datalog

More Repositories

1

tree-crasher

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
Rust
64
star
2

treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Rust
55
star
3

write-yourself-a-scheme-in-agda

Like "Write Yourself a Scheme in 48 Hours", but in Agda
Agda
51
star
4

treereduce

A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
C++
50
star
5

coq-big-o

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
Coq
34
star
6

tree-splicer

Simple grammar-based test case generator
Rust
30
star
7

CoverTranslator

A tool for formally verifying Haskell code in Agda
Haskell
28
star
8

mogglo

Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
Rust
28
star
9

reed-thesis

My undergradate thesis on coinductive types in univalent type theory
TeX
16
star
10

contract.el

Racket-style higher-order contracts for Emacs Lisp
Emacs Lisp
13
star
11

tree-sitter-souffle

A tree-sitter grammar for Soufflé Datalog
C
13
star
12

amsthm-to-anki

Translate math notes written with the amsthm package to Anki notecards!
Haskell
9
star
13

spacelix

Spacemacs-like configuration for Helix
8
star
14

duckalog

Datalog engine based on DuckDB
Rust
7
star
15

emoji.yml

a machine-readable (yaml) list of (almost) all unicode emoji
HTML
6
star
16

czz

Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer
Haskell
6
star
17

icemelter

Icemelter automates steps in debugging rustc internal compiler errors (ICEs)
Rust
5
star
18

rdf-star-souffle

A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
Rust
5
star
19

nixpkgs-blight

Instrument the builds of tens of thousands of open-source packages
Nix
3
star
20

dots

NixOS configuration + dotfiles
Emacs Lisp
3
star
21

dlsubst

A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!
Haskell
3
star
22

m3u-converter

Convert M3U files into another format (markdown, yaml, etc.)
Haskell
3
star
23

tree-sitter-edit

A crate for printing modified tree-sitter parse trees, intended for use in multi-language code refactoring, linting, or modification (codemod) tools.
Rust
2
star
24

langston-barrett

2
star
25

zsh-contextual-abbrevs

Supercharged context-dependent aliases for ZSH that save you keystrokes!
Shell
2
star
26

vagrant.py

A dynamic inventory script for use with Ansible and Vagrant
Python
2
star
27

galois-haskell-nix

Nix builds for most of the Haskell projects of @GaloisInc
Nix
2
star
28

ICEDB

A database of internal compiler errors (ICEs) in rustc
Rust
2
star
29

twjsrs

Crate for (de)serializing TiddlyWiki tiddlers to and from their JSON format
Rust
1
star
30

coq-typeclass-hierarchy

A full-featured hierarchy of typeclasses for functional programming in Coq
Coq
1
star
31

SpaceZLE

A set of mnemonic, discoverable keybindings for the ZSH Line Editor, inspired by Spacemacs
Shell
1
star
32

whole-world-llvm

Compile large C(++) programs and their transitive dependencies to LLVM bitcode
Nix
1
star
33

computational-homology

Python
1
star
34

anki-wikidata

Easily create high-quality Anki cards with data from Wikidata!
Python
1
star
35

radamsa-sys

Rust bindings for Radamsa
Rust
1
star
36

rdf-star-presidents

RDF-star dataset on U.S. presidents, mined from Wikidata.
Python
1
star
37

shell-hydra

Shell Hydra brings the goodness of Emacs's Hydra to the command line.
Rust
1
star