langston-barrett

tree-sitter-souffle

A tree-sitter grammar for Soufflé Datalog

spacelix

Spacemacs-like configuration for Helix

czz

Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer

rdf-star-souffle

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

nixpkgs-blight

Instrument the builds of tens of thousands of open-source packages

zsh-contextual-abbrevs

Supercharged context-dependent aliases for ZSH that save you keystrokes!

rdf-star-presidents

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

twjsrs

Crate for (de)serializing TiddlyWiki tiddlers to and from their JSON format

whole-world-llvm

Compile large C(++) programs and their transitive dependencies to LLVM bitcode

aeson-typescript

Generate TypeScript definition files from your ADTs

ascent

logic programming in Rust

build-bom

Dynamically discover the commands used to create a piece of software

cargo-careful

Execute Rust code carefully, with extra checking along the way

chess-aces

fin-part-ord

A crate for representing finite partial orders

genanki

A Python 3 library for generating Anki decks

linux

Linux kernel source tree

llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

llvm-pretty-bc-parser

Parser for the llvm bitcode format

llvm-wedlock

A copy of LLVM with the Wedlock backend pass

marki

Generate Anki cards from Markdown notes

mdlynx

Small, fast tool to find broken file links in Markdown documents

nixpkgs

Nix Packages collection

nur

A Nix User Repo, with the Haskell libraries of Galois

praxis

semgrep-rules

Semgrep rules registry

souffle-lang.github.io

Soufflé

sql-cli

Dynamically generate CLIs from SQL databases that support CRUD operations

tw5-n3js

Packaging N3.js for TiddlyWiki 5 with Webpack

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.