Daniel Matichuk (danmatichuk)

danmatichuk

Geek Repo

0

following

0

stars

Company:@GaloisInc

Location:Portland, OR

Github PK Tool:Github PK Tool

Daniel Matichuk's repositories

Language:CoffeeScriptStargazers:1Issues:0Issues:0

binary-analysis

meta-project for binary analysis submodules

Stargazers:0Issues:0Issues:0

crucible

Crucible is a library for symbolic simulation of imperative programs

Language:HaskellStargazers:0Issues:0Issues:0

daedalus

The Daedalus data description language

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:Emacs LispStargazers:0Issues:0Issues:0

dismantle

A library of assemblers and disassemblers derived from LLVM TableGen data

Language:HaskellStargazers:0Issues:0Issues:0

fast-tags

Incremental vi and emacs tags for haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

haskqual

Tools for cross-reference lookup in haskell projects using fully qualified identifiers

Language:Emacs LispLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

MogaSerial

Mode A serial driver interface for Moga bluetooth controllers on Windows.

Language:C++License:MITStargazers:0Issues:0Issues:0

pandoc-eqnos

A pandoc filter for numbering equations and equation references.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

parameterized-utils

A set of utilities for using indexed types including containers, equality, and comparison.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

semmc-1

Stratified synthesis for learning machine code instruction semantics

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

socket-avalon

Avalon helper app using socket.io

Language:CoffeeScriptStargazers:0Issues:0Issues:0

what4-serialize

(WIP) serialization/deserialization for What4 expressions

License:BSD-3-ClauseStargazers:0Issues:0Issues:0