travitch

AWSDenver, CO

Pinned Repositories

build-bom
Dynamically discover the commands used to create a piece of software
Language:Rust45 5 118
datalog
A pure Haskell implementation of Datalog
Language:Haskell101 14 913
haggle
An efficient graph library for Haskell
Language:Haskell37 7 55
hasksyn
A vim mode for Haskell
Language:Vim Script31 6 512
llvm-analysis
A library for analyzing LLVM bitcode in Haskell
Language:Haskell42 9 110
llvm-data-interop
A package to convert the LLVM IR into a native Haskell data type
Language:Haskell13 7 46
llvm-tools
A set of tools for visualizing and inspecting LLVM bitcode modules
Language:Haskell30 4 26
persistent-vector
Persistent vectors for Haskell based on array mapped tries
Language:Haskell27 6 184
ql-grep
A code search tool that implements CodeQL on the tree-sitter infrastructure
Language:Rust3 3 00
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
Language:Python663 29 99126

travitch's Repositories

travitch/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
Language:Python663 29 99126
travitch/datalog
A pure Haskell implementation of Datalog
Language:Haskell101 14 913
travitch/build-bom
Dynamically discover the commands used to create a piece of software
Language:Rust45 5 118
travitch/haggle
An efficient graph library for Haskell
Language:Haskell37 7 55
travitch/persistent-vector
Persistent vectors for Haskell based on array mapped tries
Language:Haskell27 6 184
travitch/itanium-abi
An implementation of C++ name mangling for the Itanium ABI
Language:Haskell12 6 27
travitch/ifscs
An inductive form set constraint solver in Haskell
Language:Haskell4 5 45
travitch/blog
The code for my blog (ravit.ch)
Language:SCSS3 3 1
travitch/haskell-pragma.el
An emacs hydra to enable Haskell language extensions efficiently
Language:Emacs Lisp3 4 01
travitch/hbgl-experimental
An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)
Language:Haskell3 5 05
travitch/ql-grep
A code search tool that implements CodeQL on the tree-sitter infrastructure
Language:Rust3 3 00
travitch/binary-walkr
A tool for examining ELF binaries
Language:Rust2 2 0
travitch/completing-read-xref.el
An interface to xref based on completing-read
Language:Emacs Lisp2 3 0
travitch/crepitans
A tool for scriptable exploration of binaries
Language:Haskell2 3 0
travitch/crucible
Crucible is a library for symbolic simulation of imperative programs
Language:Haskell1 2 0
travitch/renovate
A library for binary analysis and rewriting
Language:Haskell1 2 0
travitch/satir
An implementation of a SAT solver in Rust
Language:Rust1 3 0
travitch/travitch
The code for my Github profile page
Language:Rust1 5 0
travitch/boogie-friends
Tools for interacting with Boogie
Language:Emacs Lisp1 0
travitch/bv-sized
A bitvector datatype that is parameterized by the vector width.
Language:Haskell2 0
travitch/dotfiles
A collection of dotfiles managed by Chezmoi
Language:Shell2 0
travitch/dwarf-writer
Updates DWARF debug sections with info obtained through disassembly
Language:Rust2 0
travitch/haskell-interactive-import.el
A Haskell function and minor mode for interactively adding imports to modules
Language:Emacs Lisp3 0
travitch/husk-scheme
A full implementation of the Scheme programming language for the Haskell Platform.
Language:Haskell2 0
travitch/lumberjack
Helps you trek through your code forest and generate logs.
Language:Haskell2 0
travitch/pete
A friendly wrapper around ptrace(2)
Language:Rust2 0
travitch/selectrum-search-rg.el
Interactive search in emacs using ripgrep and selectrum
Language:Emacs Lisp3 0
travitch/semmc
Stratified synthesis for learning machine code instruction semantics
Language:Haskell2 0
travitch/softfloat-hs
Haskell FFI bindings for SoftFloat.
Language:Haskell2 0
travitch/yearof
A website detailing the year's agenda
2 0