travitch/ifscs

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
License
BSD 3-Clause "New...
Created about 12 years ago
Updated over 3 years ago

travitch/ifscs

travitch

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An inductive form set constraint solver in Haskell

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

datalog

A pure Haskell implementation of Datalog

build-bom

Dynamically discover the commands used to create a piece of software

llvm-analysis

A library for analyzing LLVM bitcode in Haskell

haggle

An efficient graph library for Haskell

hasksyn

A vim mode for Haskell

llvm-tools

A set of tools for visualizing and inspecting LLVM bitcode modules

persistent-vector

Persistent vectors for Haskell based on array mapped tries

uw-beamer-template

This is a LaTeX Beamer template for the University of Wisconsin

llvm-data-interop

A package to convert the LLVM IR into a native Haskell data type

itanium-abi

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

foreign-inference

A smarter tool to automatically generate FFI bindings for C libraries

llvm-base-types

Type definitions used in some higher-level LLVM-related packages

iiglue

Tools for generating foreign function interface bindings

haskell-pragma.el

An emacs hydra to enable Haskell language extensions efficiently

hsqml

A fork of hsqml with some extra features

blog

The code for my blog (ravit.ch)

ddmin

An implementation of delta debugging (ddmin) in Haskell

shellDSL

robbed

A pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)

hbgl-experimental

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

phixpoint

A library for computing fixpoints over lattices in Haskell

binary-walkr

A tool for examining ELF binaries

gitlab-snippet.el

An emacs package for posting snippets of code to a gitlab instance

ql-grep

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

crepitans

A tool for scriptable exploration of binaries

archive-inspection

A library providing a uniform interface to traversing the contents of tarballs and zip archives

satisfaction

A DPLL SAT solver written in Haskell

completing-read-xref.el

An interface to xref based on completing-read

travitch

The code for my Github profile page

word-bv

A Haskell library for bitvectors backed by fixed-sized words

satir

An implementation of a SAT solver in Rust

humidor

A Qt binding generator for Haskell based on Smoke

language-python-builder

A layer on top of language-python providing hygienic name generation