Pinned Repositories
archive-inspection
A library providing a uniform interface to traversing the contents of tarballs and zip archives
CArrayIntrospection
Run analyses to determine array length invariants.
chess
A Java application for defining and playing chess variants
foreign-inference
A smarter tool to automatically generate FFI bindings for C libraries
hbgl-experimental
An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)
ifscs
An inductive form set constraint solver in Haskell
iiglue
Tools for generating foreign function interface bindings
itanium-abi
An implementation of C++ name mangling for the Itanium ABI
llvm-tools
A set of tools for visualizing and inspecting LLVM bitcode modules
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
AlisaMaas's Repositories
AlisaMaas/CArrayIntrospection
Run analyses to determine array length invariants.
AlisaMaas/llvm-tools
A set of tools for visualizing and inspecting LLVM bitcode modules
AlisaMaas/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
AlisaMaas/archive-inspection
A library providing a uniform interface to traversing the contents of tarballs and zip archives
AlisaMaas/chess
A Java application for defining and playing chess variants
AlisaMaas/foreign-inference
A smarter tool to automatically generate FFI bindings for C libraries
AlisaMaas/hbgl-experimental
An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)
AlisaMaas/ifscs
An inductive form set constraint solver in Haskell
AlisaMaas/iiglue
Tools for generating foreign function interface bindings
AlisaMaas/itanium-abi
An implementation of C++ name mangling for the Itanium ABI
AlisaMaas/llvm-analysis
A library for analyzing LLVM bitcode in Haskell
AlisaMaas/llvm-base-types
Type definitions used in some higher-level LLVM-related packages
AlisaMaas/llvm-data-interop
A package to convert the LLVM IR into a native Haskell data type
AlisaMaas/llvm-sage
SAGE bindings for LLVM.
AlisaMaas/llvm-sra
Symbolic range analysis for LLVM.
AlisaMaas/paxos
A simulator for the Paxos Protocol for consensus in distributed systems