nindanaoto's repositories
nanoGPT-BitNet158b
The simplest, fastest repository for training/finetuning medium-sized ternary GPTs.
oakd-ros-simple
OAK-D (OpenCV AI Kit camera) ROS simple codes with C++
Alexandrite
Small RV32Iu processor
aes_chisel
Implementation of the Advanced Encryption Standard in Chisel
BLE-STAMP-MICRO-PRO
Micro pro pin compatible M5 Stamp S3 foot print convert pcb with 14500 mount
awesome-mitou
有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです.
bitnet158b
Implementation of bitnet158b
bitwuzla
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 is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
chisel3
Chisel 3: A Modern Hardware Design Language
concrete-core
Concrete Core contains a set of low-level primitives which can be used to implement Fully Homomorphically Encrypted (FHE) programs.
dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
depthai-python
DepthAI Python Library
ErgoDash
keyboard
FINAL
The fully homomorhic encryption scheme based on NTRU and LWE.
Lotus-Keyboard-Choc-v1
A split ergo linear keyboard derived from the Lily58 family using Choc v1 Switch and manufacturable at JLCPCB
MOSFHET
MOSFHET: Optimized Software for FHE over the Torus
MPpoly-converter
Convert a polynomial with multi-presicion integer coefficients to RNS form
py-aiger
py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
py-aiger-bdd
Aiger <-> BDD bridge.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
slack-export-viewer
A Slack Export archive viewer that allows you to easily view and share your Slack team's export
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
wasker
Wasm compiler for running Wasm on your favorite kernel