Beast code in Giters

Tristan Ravitch's repositories

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

Language:PythonMIT657 29 99

datalog

A pure Haskell implementation of Datalog

Language:HaskellBSD-3-Clause100 14 9

build-bom

Dynamically discover the commands used to create a piece of software

Language:RustApache-2.043 5 11

haggle

An efficient graph library for Haskell

Language:HaskellBSD-3-Clause37 7 5

persistent-vector

Persistent vectors for Haskell based on array mapped tries

Language:HaskellBSD-3-Clause27 6 18

itanium-abi

An implementation of C++ name mangling for the Itanium ABI

Language:HaskellBSD-3-Clause12 6 2

ifscs

An inductive form set constraint solver in Haskell

Language:HaskellBSD-3-Clause4 5 4

blog

The code for my blog (ravit.ch)

Language:SCSSNOASSERTION3 3 1

haskell-pragma.el

An emacs hydra to enable Haskell language extensions efficiently

Language:Emacs Lisp3 40

hbgl-experimental

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

Language:HaskellBSD-3-Clause3 50

binary-walkr

A tool for examining ELF binaries

Language:RustApache-2.02 20

completing-read-xref.el

An interface to xref based on completing-read

Language:Emacs Lisp2 30

crepitans

A tool for scriptable exploration of binaries

Language:HaskellBSD-3-Clause2 30

ql-grep

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

Language:RustApache-2.02 30

crucible

Crucible is a library for symbolic simulation of imperative programs

Language:Haskell1 20

renovate

A library for binary analysis and rewriting

Language:Haskell1 20

satir

An implementation of a SAT solver in Rust

Language:Rust1 30

travitch

The code for my Github profile page

Language:Rust1 50

boogie-friends

Tools for interacting with Boogie

Language:Emacs Lisp010

bv-sized

A bitvector datatype that is parameterized by the vector width.

Language:HaskellBSD-3-Clause020

dotfiles

A collection of dotfiles managed by Chezmoi

Language:Shell020

dwarf-writer

Updates DWARF debug sections with info obtained through disassembly

Language:Rust020

haskell-interactive-import.el

A Haskell function and minor mode for interactively adding imports to modules

Language:Emacs Lisp030

husk-scheme

A full implementation of the Scheme programming language for the Haskell Platform.

Language:HaskellMIT020

lumberjack

Helps you trek through your code forest and generate logs.

Language:HaskellNOASSERTION020

pete

A friendly wrapper around ptrace(2)

Language:RustISC020

selectrum-search-rg.el

Interactive search in emacs using ripgrep and selectrum

Language:Emacs Lisp030

semmc

Stratified synthesis for learning machine code instruction semantics

Language:HaskellBSD-3-Clause020

softfloat-hs

Haskell FFI bindings for SoftFloat.

Language:HaskellNOASSERTION020

yearof

A website detailing the year's agenda

020