Logic programming in Rust

A precise and scalable pointer analysis for LLVM, written in Ascent

vertical + gpu + free join + datalog

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Examples from the class CMSC 330 during Summer 2015

Binding to jQuery (for js_of_ocaml)

QuickCheck Ruby Port

Troyd: Integration Testing for Android

The Redexer binary instrumentation framework for Dalvik bytecode

Simple turtle graphics library for java

MSU Turtle Graphics using logo

The GalSat genetic algorithm based SAT solver