weaversa

cryptol-course

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

c_symsim

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

MPHF

An efficient minimal perfect hash function generator for small sets

cryptol-rust-client

A Rust client for Cryptol's remote-api

c_list_types

Satisfiability-Museum

The Satisfiability Museum

weighted-bipartite-perfect-matching

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

BaltimoreYouthWorks

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

bitvector

A C simple bitvector library

cryptol-c-client

A client for Cryptol as a service

cryptol-java-client

Java client for remote-cryptol-api

MPHF-WBPM

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

sat-cache

A caching mechanism for SAT and SMT queries.

saw-llvm-template

A template for SAW verification of LLVM

sbsat

SBSAT SAT Solver

weaversa.github.io

aes-rust

Me learning Rust

cryptol-ffi-tests

Some tests using Cryptol's FFI interface

electionguard-c

This repository implements the ElectionGuard API using C. It includes all major functions of the ElectionGuard SDK, including key ceremony, ballot encryption, encrypted ballot tally, and partial decryptions for knowledge proofs of trustees.

jostrich

lab-starter

maximum-weighted-bipartite-matching

C++ program to compute the maximum weighted bipartite matching of a graph

microsat

microsat

xxhash-clean

xxHash Cleaner C Reference Implementation