Discover @travitch Open Source projects

Tristan Ravitch (@travitch)

travitch

Stars
1,024
Global Rank 29,863 (Top 2 %)
Followers 141
Registered over 14 years ago
Most used languages

Haskell
67.6 %

Rust
14.7 %

Emacs Lisp
8.8 %

Vim Script
2.9 %

SCSS 2.9 %

Python
2.9 %
Location 🇺🇸 United States
Country Total Rank 8,560
Country Ranking

Haskell
91

Vim Script
480

Emacs Lisp
788

SCSS 1,134

Rust
1,719

Python
2,152

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

uw-beamer-template

This is a LaTeX Beamer template for the University of Wisconsin

llvm-data-interop

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

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

haskell-pragma.el

An emacs hydra to enable Haskell language extensions efficiently

hsqml

A fork of hsqml with some extra features

blog

The code for my blog (ravit.ch)

ddmin

An implementation of delta debugging (ddmin) in Haskell

shellDSL

robbed

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

hbgl-experimental

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

phixpoint

A library for computing fixpoints over lattices in Haskell

binary-walkr

A tool for examining ELF binaries

gitlab-snippet.el

An emacs package for posting snippets of code to a gitlab instance

ql-grep

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

crepitans

A tool for scriptable exploration of binaries

archive-inspection

A library providing a uniform interface to traversing the contents of tarballs and zip archives

satisfaction

A DPLL SAT solver written in Haskell

completing-read-xref.el

An interface to xref based on completing-read

travitch

The code for my Github profile page

word-bv

A Haskell library for bitvectors backed by fixed-sized words

satir

An implementation of a SAT solver in Rust

humidor

A Qt binding generator for Haskell based on Smoke

language-python-builder

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