Simple Theorem Prover, an efficient SMT solver for bitvectors

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

keyboard

A split ergo linear keyboard derived from the Lily58 family using Choc v1 Switch and manufacturable at JLCPCB

The simplest, fastest repository for training/finetuning medium-sized ternary GPTs.

Implementation of bitnet158b

有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです．

Wasm compiler for running Wasm on your favorite kernel

Convert a polynomial with multi-presicion integer coefficients to RNS form

Open-source keyboard firmware for Atmel AVR and Arm USB families

A Slack Export archive viewer that allows you to easily view and share your Slack team's export

Concrete Core contains a set of low-level primitives which can be used to implement Fully Homomorphically Encrypted (FHE) programs.

TFHE-rs is a pure Rust implementation of TFHE for boolean and small integer arithmetics over encrypted data.

Implementation of the Advanced Encryption Standard in Chisel

ORB-SLAM3: An Accurate Open-Source Library for Visual, Visual-Inertial and Multi-Map SLAM

OAK-D (OpenCV AI Kit camera) ROS simple codes with C

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

MOSFHET: Optimized Software for FHE over the Torus

Aiger <-> BDD bridge.

The fully homomorhic encryption scheme based on NTRU and LWE.

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

DepthAI Python Library

Chisel 3: A Modern Hardware Design Language