Giters
weaversa

weaversa

Geek Repo

18

followers

4

following

41

stars

Github PK Tool:Github PK Tool

weaversa's starred repositories

cryptol-rust-client

A Rust client for Cryptol's remote-api

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

euforia

Software model checking with uninterpreted functions abstraction

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

sat-cache

A caching mechanism for SAT and SMT queries.

Language:RustLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2044Issues:0Issues:0

cryptol-course

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

Language:PythonLicense:BSD-3-ClauseStargazers:25Issues:0Issues:0

what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

Language:SMTStargazers:5Issues:0Issues:0

saw-llvm-template

A template for SAW verification of LLVM

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

c_symsim

C-based shallow embedding of Ghidra's P-code symbolic execution

Language:CLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

BaltimoreYouthWorks

A youth <-> worksite matching program for MOED (https://youthworks.oedworks.com)

Language:CStargazers:1Issues:0Issues:0

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CLicense:NOASSERTIONStargazers:847Issues:0Issues:0

cryptol-java-client

Java client for remote-cryptol-api

Language:JavaLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

weaversa.github.io

Language:HTMLStargazers:1Issues:0Issues:0

saw-demos

SAW verification demonstrations

Language:ShellStargazers:3Issues:0Issues:0

sbsat

SBSAT SAT Solver

Language:CLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

cryptol-specs

A central repository for specifications of cryptographic algorithms in Cryptol

Language:TeXLicense:BSD-3-ClauseStargazers:28Issues:0Issues:0

cryptol-mode

A Cryptol major mode for Emacs.

Language:Emacs LispLicense:GPL-3.0Stargazers:15Issues:0Issues:0

crucible

Crucible is a library for symbolic simulation of imperative programs

Language:RustStargazers:607Issues:0Issues:0

argo

A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW

Language:HaskellStargazers:13Issues:0Issues:0

MPHF

An efficient minimal perfect hash function generator for small sets

Language:CLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

cryptol-c-client

A client for Cryptol as a service

Language:CLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

XORSATFilter

A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.

Language:CLicense:NOASSERTIONStargazers:28Issues:0Issues:0

C-Thread-Pool

A minimal but powerful thread pool in ANSI C

Language:CLicense:MITStargazers:2014Issues:0Issues:0

MPHF-WBPM

A minimal perfect hash function generator that uses weighted bipartite perfect matching and XORSAT dictionaries.

Language:CLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

oklibrary

A research platform and active library for generalised SAT solving

Language:C++Stargazers:32Issues:0Issues:0

Satisfiability-Museum

The Satisfiability Museum

Language:CStargazers:2Issues:0Issues:0

c_list_types

Language:CLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

weighted-bipartite-perfect-matching

C re-implementation of James Payor's C++ solver for weighted bipartite graph matching

Language:CLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

bitvector

A C simple bitvector library

Language:CLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

CnC

Cube-and-Conquer SAT solver

Language:CStargazers:30Issues:0Issues:0

CryptoBook

Learning Cryptography, math and programming with Cryptol (and maybe some Python)

Language:PythonLicense:NOASSERTIONStargazers:93Issues:0Issues:0