• 3
• 0
• 0

pypcap

pypcap - python libpcap module, forked from code.google.com/p/pypcap

• 3
• 0
• 0

LFHT

Lock Free Hash Table

• 3
• 0
• 0

sponge

Library for cryptographic sponges

• 3
• 0
• 0

groth16

A Rust implementation of the Groth16 zkSNARK

• 3
• 0
• 0

libpoly_ocaml_bindings

OCaml bindings for libpoly

• 3
• 0
• 0

UBSI_patch

• 3
• 0
• 0

curves

Implementations of popular elliptic curves

• 3
• 0
• 0

utils

Utilities used by the `arkworks` ecosystem

• 3
• 0
• 0

Trinity

Trinity AI for Improving Trustworthiness, Resilience and Interpretability of AI

• 3
• 0
• 0

OCCAM-Benchmarks

Set of benchmarks used by the OCCAM tool.

• 3
• 0
• 0

NTT

An Implementation of the Number Theoretic Transform

• 3
• 0
• 0

yices2_java_bindings

Java bindings for Yices 2.

• 3
• 0
• 0

WrapPat

• 3
• 0
• 0

SoftAgentsDiagnosis

• 3
• 0
• 0

yices2_python_bindings

Python bindings for yices2

• 3
• 0
• 0

dilithium

• 3
• 0
• 0

f3d

f3d, a.k.a. FREEDIUS, a.k.a. the Cartographic Modeling Environment, a.k.a. the Image Understanding Environment. Lisp-based geospatial image analysis.

• 3
• 0
• 0

SudokuSolver

A sudoku solver to illustrate the new yices python API

• 3
• 0
• 0

datum

A parser for biological experiment shorthand.

• 3
• 0
• 0

PVSCodegen