Langston Barrett's repositories
contract.el
Racket-style higher-order contracts for Emacs Lisp
galois-haskell-nix
Nix builds for most of the Haskell projects of @GaloisInc
shell-hydra
Shell Hydra brings the goodness of Emacs's Hydra to the command line.
whole-world-llvm
Compile large C(++) programs and their transitive dependencies to LLVM bitcode
abcBridge
Haskell bindings for ABC
AnghaBench
A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
brick
A declarative terminal UI programming library written in Haskell
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-imports
Rust utilities for dealing with imports in Coq
dap-mode
Emacs :heart: Debug Adapter Protocol
doctest
Doctests for Emacs Lisp
flexdis86
A library for disassembling x86-64 binaries.
fuzzingbook
The Book "Generating Software Tests"
hask
Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
haskell-code-explorer
Web application for exploring and understanding Haskell codebases
jvm-parser
A Haskell parser for JVM bytecode files
klister
an implementation of stuck macros
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
loc
Types representing line and column positions and ranges in text files.
macaw
Open source binary analysis tools.
pyelftools
Parsing ELF and DWARF in Python
sadl-mode
An Emacs major mode for SADL
saw-core-what4
Backend for saw-core using the what4 prover infrastructure
saw-script
The SAW scripting language.
souffle-mode
Emacs mode for Souffle datalog files.
unionfind.el
Union-find (disjoint-set) data structure for Emacs Lisp
what4
Symbolic formula representation and solver interaction library
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
Worgle
A lightweight tangler for literate programs written in org