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/haggis
A static site generator with blogging/comments support
travitch/language-python-builder
A layer on top of language-python providing hygienic name generation
travitch/uw-beamer-template
This is a LaTeX Beamer template for the University of Wisconsin
travitch/lattices
Fine-grained lattice primitives for Haskell
travitch/libarchive
Multi-format archive and compression library
travitch/hsqml
A fork of hsqml with some extra features
travitch/language-python
A parser for Python 2.x and 3.x written in Haskell
travitch/file-embed
Use Template Haskell to embed file contents directly.
travitch/FileLocation.hs
error and debug function for haskell that give file locations
travitch/haskell-gi
A Haskell binding generator based on GObject Introspection.