Tristan Ravitch (@travitch)

Top repositories

1

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files
Python
642
star
2

datalog

A pure Haskell implementation of Datalog
Haskell
100
star
3

build-bom

Dynamically discover the commands used to create a piece of software
Rust
42
star
4

llvm-analysis

A library for analyzing LLVM bitcode in Haskell
Haskell
40
star
5

haggle

An efficient graph library for Haskell
Haskell
37
star
6

hasksyn

A vim mode for Haskell
Vim Script
31
star
7

llvm-tools

A set of tools for visualizing and inspecting LLVM bitcode modules
Haskell
30
star
8

persistent-vector

Persistent vectors for Haskell based on array mapped tries
Haskell
27
star
9

uw-beamer-template

This is a LaTeX Beamer template for the University of Wisconsin
13
star
10

llvm-data-interop

A package to convert the LLVM IR into a native Haskell data type
Haskell
13
star
11

itanium-abi

An implementation of C++ name mangling for the Itanium ABI
Haskell
11
star
12

foreign-inference

A smarter tool to automatically generate FFI bindings for C libraries
Haskell
10
star
13

llvm-base-types

Type definitions used in some higher-level LLVM-related packages
Haskell
7
star
14

iiglue

Tools for generating foreign function interface bindings
Haskell
5
star
15

ifscs

An inductive form set constraint solver in Haskell
Haskell
4
star
16

haskell-pragma.el

An emacs hydra to enable Haskell language extensions efficiently
Emacs Lisp
3
star
17

hsqml

A fork of hsqml with some extra features
Haskell
3
star
18

blog

The code for my blog (ravit.ch)
SCSS
3
star
19

ddmin

An implementation of delta debugging (ddmin) in Haskell
Haskell
3
star
20

shellDSL

Haskell
3
star
21

robbed

A pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)
Haskell
3
star
22

hbgl-experimental

An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)
Haskell
3
star
23

phixpoint

A library for computing fixpoints over lattices in Haskell
Haskell
3
star
24

binary-walkr

A tool for examining ELF binaries
Rust
2
star
25

gitlab-snippet.el

An emacs package for posting snippets of code to a gitlab instance
Emacs Lisp
2
star
26

ql-grep

A code search tool that implements CodeQL on the tree-sitter infrastructure
Rust
2
star
27

crepitans

A tool for scriptable exploration of binaries
Haskell
2
star
28

archive-inspection

A library providing a uniform interface to traversing the contents of tarballs and zip archives
Haskell
2
star
29

satisfaction

A DPLL SAT solver written in Haskell
Haskell
2
star
30

completing-read-xref.el

An interface to xref based on completing-read
Emacs Lisp
2
star
31

travitch

The code for my Github profile page
Rust
1
star
32

word-bv

A Haskell library for bitvectors backed by fixed-sized words
Haskell
1
star
33

satir

An implementation of a SAT solver in Rust
Rust
1
star
34

humidor

A Qt binding generator for Haskell based on Smoke
Haskell
1
star
35

language-python-builder

A layer on top of language-python providing hygienic name generation
Haskell
1
star