travitch

AWSDenver, CO

Pinned Repositories

build-bom
Dynamically discover the commands used to create a piece of software
Language:Rust47 5 128
datalog
A pure Haskell implementation of Datalog
Language:Haskell104 13 914
haggle
An efficient graph library for Haskell
Language:Haskell39 7 56
hasksyn
A vim mode for Haskell
Language:VimL31 6 512
llvm-analysis
A library for analyzing LLVM bitcode in Haskell
Language:Haskell43 9 110
llvm-data-interop
A package to convert the LLVM IR into a native Haskell data type
Language:Haskell14 7 46
llvm-tools
A set of tools for visualizing and inspecting LLVM bitcode modules
Language:Haskell31 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:Rust4 3 00
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
Language:Python698 28 100127

travitch's Repositories

travitch/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
Language:Python698 28 100127
travitch/datalog
A pure Haskell implementation of Datalog
Language:Haskell104 13 914
travitch/build-bom
Dynamically discover the commands used to create a piece of software
Language:Rust47 5 128
travitch/haggle
An efficient graph library for Haskell
Language:Haskell39 7 56
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 28
travitch/ifscs
An inductive form set constraint solver in Haskell
Language:Haskell4 5 45
travitch/ql-grep
A code search tool that implements CodeQL on the tree-sitter infrastructure
Language:Rust4 3 00
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/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 6 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