abakst

Formal Methodist

San Diego, CA

Pinned Repositories

04-diamondback
Starter materials for diamondback compiler
Language:Haskell00
abakst.github.io
Friendly Friend of friends
Language:HTML00
Brisk
Brisk
Language:Haskell51
liquidhaskell
Liquid Types For Haskell
Language:Haskell00
runonhost
Attempts to determine if a command is to be executed on a filesystem that lives on a remote host. If so, runs the command on the remote host via ssh.
Language:Shell10
Space-
Language:Haskell10
specs
The dumbest model checker
Language:OCaml00
symmetry
Language:Haskell32
Zoepis
An OpenGL Game/Simulation Engine in Haskell
Language:Haskell10
HARDENS
Repository for the HARDENS project
Language:Jupyter Notebook15 11 771

abakst's Repositories

abakst/Brisk
Brisk
Language:Haskell51
abakst/symmetry
Language:Haskell32
abakst/runonhost
Attempts to determine if a command is to be executed on a filesystem that lives on a remote host. If so, runs the command on the remote host via ssh.
Language:Shell10
abakst/Space-
Language:Haskell10
abakst/04-diamondback
Starter materials for diamondback compiler
Language:Haskell00
abakst/abakst.github.io
Friendly Friend of friends
Language:HTML00
abakst/liquidhaskell
Liquid Types For Haskell
Language:Haskell00
abakst/specs
The dumbest model checker
Language:OCaml00
abakst/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
Language:Haskell1
abakst/art-theory
Alias Refinement Types
Language:Coq
abakst/bencode.hpp
A C++ parser for bencoded data
Language:C++
abakst/brisk-prelude
Language:Haskell
abakst/Brisk-VCGen
Language:Haskell
abakst/crucible
Crucible is a library for symbolic simulation of imperative programs
abakst/hyperpolyglot
hyperpolyglot.org
Language:Common Lisp
abakst/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:Shell
abakst/language-ecmascript
JavaScript parser and additional tools
Language:Haskell
abakst/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
Language:Haskell
abakst/manticore
Symbolic execution tool
abakst/nano-js
Language for experimenting with verification algorithms
abakst/nanomaly
Language:JavaScript
abakst/pandoc-templates
Templates for pandoc
abakst/plaia
P•L•A•I•A
Language:Rust
abakst/process-effects
Language:Haskell
abakst/rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
Language:C++
abakst/rusty-cdcl
Language:Rust
abakst/scratch
Language:Haskell1 0
abakst/teaching
Class materials
Language:OCaml1
abakst/ThequeFS
Language:Haskell
abakst/Twitkov
Tweet generator
Language:Haskell