Block or report user

Report or block DennisYurichev

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

microsat

C 22 9 Updated May 8, 2018

Documentation

HTML 8 3 Updated Nov 15, 2018

A toolkit for SAT-based prototyping in Python

Python 29 3 Updated Nov 1, 2018

IDAPython project for Hex-Ray's IDA Pro

Python 531 123 Updated Dec 11, 2018

pySMT: A library for SMT formulae manipulation and solving

Python 202 47 Updated Dec 4, 2018

Yet another crippled decompiler project

Python 63 14 Updated Dec 7, 2018

A regular expression converter

JavaScript 172 15 Updated Jun 1, 2018

C Bounded Model Checker

C++ 167 114 Updated Dec 11, 2018

Release snapshots of the Frama-C platform for source code analysis

OCaml 72 14 Updated Nov 29, 2018

Posters, drawings...

Assembly 3,890 341 Updated Oct 28, 2018

KLEE Symbolic Execution Engine

C++ 983 327 Updated Nov 28, 2018

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

C++ 19 4 Updated Oct 1, 2018

unix-like reverse engineering framework and commandline tools security

C 8,886 1,725 Updated Dec 12, 2018

The Yices SMT Solver

SMT 96 12 Updated Dec 10, 2018

Simple Theorem Prover, an efficient SMT solver for bitvectors

C++ 254 82 Updated Dec 2, 2018

♞ lichess.org: the forever free, adless and open source chess server ♞

Scala 4,787 751 Updated Dec 12, 2018

An advanced SAT Solver

C++ 281 84 Updated Dec 11, 2018

A minimalistic and high-performance SAT solver

C++ 470 178 Updated Sep 14, 2018

Racket bindings for Z3

Racket 14 6 Updated Aug 7, 2012

A static verifier for concurrent C programs

C# 48 16 Updated Jul 6, 2016

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Assembly 28,461 3,664 Updated Dec 12, 2018

translate project of Drops

Makefile 489 155 Updated Apr 2, 2017

Transistor level 6502 Hardware Simulation in Javascript

JavaScript 440 61 Updated Oct 26, 2018

MNT VA2000, an Open Source Amiga 2/3/4000 Graphics Card (Zorro II/III), written in Verilog

Verilog 872 39 Updated Aug 24, 2018

Lean Theorem Prover

C++ 1,021 157 Updated Dec 11, 2018

The Z3 Theorem Prover

C++ 3,680 651 Updated Dec 12, 2018

The Z3 Theorem Prover

C++ 1 Updated Mar 26, 2015

Lean Theorem Prover

C++ 14 1 Updated Jun 21, 2018

@holman does dotfiles

Shell 5,228 3,033 Updated Nov 25, 2018

Emacs highlighting using Ethan Schoonover’s Solarized color scheme

Emacs Lisp 1,115 209 Updated Jun 1, 2018