Pinned Repositories
build-bom
Dynamically discover the commands used to create a piece of software
datalog
A pure Haskell implementation of Datalog
haggle
An efficient graph library for Haskell
hasksyn
A vim mode for Haskell
llvm-analysis
A library for analyzing LLVM bitcode in Haskell
llvm-data-interop
A package to convert the LLVM IR into a native Haskell data type
llvm-tools
A set of tools for visualizing and inspecting LLVM bitcode modules
persistent-vector
Persistent vectors for Haskell based on array mapped tries
ql-grep
A code search tool that implements CodeQL on the tree-sitter infrastructure
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
travitch's Repositories
travitch/llvm-analysis
A library for analyzing LLVM bitcode in Haskell
travitch/hasksyn
A vim mode for Haskell
travitch/llvm-tools
A set of tools for visualizing and inspecting LLVM bitcode modules
travitch/llvm-data-interop
A package to convert the LLVM IR into a native Haskell data type
travitch/foreign-inference
A smarter tool to automatically generate FFI bindings for C libraries
travitch/llvm-base-types
Type definitions used in some higher-level LLVM-related packages
travitch/iiglue
Tools for generating foreign function interface bindings
travitch/robbed
A pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)
travitch/ddmin
An implementation of delta debugging (ddmin) in Haskell
travitch/phixpoint
A library for computing fixpoints over lattices in Haskell
travitch/shellDSL
travitch/archive-inspection
A library providing a uniform interface to traversing the contents of tarballs and zip archives
travitch/dalvik
Haskell parser for Dalvik bytecode
travitch/gitlab-snippet.el
An emacs package for posting snippets of code to a gitlab instance
travitch/satisfaction
A DPLL SAT solver written in Haskell
travitch/humidor
A Qt binding generator for Haskell based on Smoke
travitch/word-bv
A Haskell library for bitvectors backed by fixed-sized words
travitch/chatter
A library of Natural Language Processing algorithms for Haskell.
travitch/ghc-core-html
Read ghc-core with style. javascript and CSS style.
travitch/located-base
travitch/matterhorn
Terminal client for MatterMost chat system
travitch/melpa
Scripts for building Emacs packages from Version Control
travitch/monad-par
travitch/netlogo-highlight
Repository for netlogo highlight template, contribution is welcome !
travitch/parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.
travitch/pointed
pointed and copointed data
travitch/quala
custom type systems for Clang
travitch/s-cargot-letbind
Enables let-binding and let-expansion for https://github.com/aisamanra/s-cargot defined S-expressions
travitch/yi
The Haskell-Scriptable Editor
travitch/zip-archive
Native Haskell library for working with zip archives