Alexander Bakst's repositories
abakst.github.io
Friendly Friend of friends
specs
The dumbest model checker
crucible
Crucible is a library for symbolic simulation of imperative programs
plaia
P•L•A•I•A
manticore
Symbolic execution tool
rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
04-diamondback
Starter materials for diamondback compiler
bencode.hpp
A C++ parser for bencoded data
liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
liquidhaskell
Liquid Types For Haskell
hyperpolyglot
hyperpolyglot.org
art-theory
Alias Refinement Types
nano-js
Language for experimenting with verification algorithms
iTerm2-Color-Schemes
iTerm Colors - A set of iTerm 2 color schemes/themes. Some schemes have been ported from Mac OSX's Terminal application
language-ecmascript
JavaScript parser and additional tools
teaching
Class materials
pandoc-templates
Templates for pandoc
algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
Twitkov
Tweet generator