Andrew Kent's repositories
lean4-assert-command
A simple assertion command for Lean4
typeset-rewriter
simple, low level rewriters for PLT Redex typesetting
lean4-dev-goodies
Useful scripts for working with multiple Lean4 installs
define-with-spec
Macro for adding simple specifications to function definitions.
cryptol
Cryptol: The Language of Cryptography
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
lean-llvm
LLVM support for the lean theorem prover
lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
lean4-intn
Lean4 Experimental IntN implementation
llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
misc-lean
Misc. Lean code
pqcrypto
đź‘» Post-quantum cryptography for Python.
renovate
A library for binary analysis and rewriting
s2n
s2n : an implementation of the TLS/SSL protocols
simple-get-opt
A simple library for processing command-line options to Haskell programs.
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
souffle-lang.github.io
Soufflé