Tristan Ravitch

whole-program-llvm. A wrapper script to build whole-program LLVM bitcode files

datalog. A pure Haskell implementation of Datalog

build-bom. Dynamically discover the commands used to create a piece of software

llvm-analysis. A library for analyzing LLVM bitcode in Haskell

haggle. An efficient graph library for Haskell

hasksyn. A vim mode for Haskell

llvm-tools. A set of tools for visualizing and inspecting LLVM bitcode modules

persistent-vector. Persistent vectors for Haskell based on array mapped tries

llvm-data-interop. A package to convert the LLVM IR into a native Haskell data type

uw-beamer-template. This is a LaTeX Beamer template for the University of Wisconsin

ql-grep. A code search tool that implements CodeQL on the tree-sitter infrastructure

itanium-abi. An implementation of C++ name mangling for the Itanium ABI

foreign-inference. A smarter tool to automatically generate FFI bindings for C libraries

llvm-base-types. Type definitions used in some higher-level LLVM-related packages

iiglue. Tools for generating foreign function interface bindings

ifscs. An inductive form set constraint solver in Haskell

robbed. A pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)

hsqml. A fork of hsqml with some extra features

ddmin. An implementation of delta debugging (ddmin) in Haskell

binary-walkr. A tool for examining ELF binaries

phixpoint. A library for computing fixpoints over lattices in Haskell

haskell-pragma.el. An emacs hydra to enable Haskell language extensions efficiently

shellDSL. Haskell

blog. The code for my blog (ravit.ch)

hbgl-experimental. An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)

crepitans. A tool for scriptable exploration of binaries

completing-read-xref.el. An interface to xref based on completing-read

gitlab-snippet.el. An emacs package for posting snippets of code to a gitlab instance

satisfaction. A DPLL SAT solver written in Haskell

archive-inspection. A library providing a uniform interface to traversing the contents of tarballs and zip archives

satir. An implementation of a SAT solver in Rust

travitch. The code for my Github profile page

word-bv. A Haskell library for bitvectors backed by fixed-sized words

humidor. A Qt binding generator for Haskell based on Smoke

language-python-builder. A layer on top of language-python providing hygienic name generation

lgtm.el. A code review UI for emacs that supports multi-repository changesets