Pinned Repositories
Alexandrite
Small RV32Iu processor
DC1proposal
ddq2VOICEVOX
This repository contains Python scritpt to communication bridge of daidoquer2 to VOICEVOX
DEFEMpp
Dynamic Electromagnetics Finite Element Method in C++
nanoGPT-BitNet158b
The simplest, fastest repository for training/finetuning medium-sized ternary GPTs.
nindanaoto.github.io
oakd-ros-simple
OAK-D (OpenCV AI Kit camera) ROS simple codes with C++
ORB_SLAM3
ORB-SLAM3: An Accurate Open-Source Library for Visual, Visual-Inertial and Multi-Map SLAM
PaStiX
Copied from https://gitlab.inria.fr/solverstack/pastix/-/tree/80b60b6d035fc8805fa049be541b6b29e3ceeb69
nindanaoto's Repositories
nindanaoto/ORB_SLAM3
ORB-SLAM3: An Accurate Open-Source Library for Visual, Visual-Inertial and Multi-Map SLAM
nindanaoto/nindanaoto.github.io
nindanaoto/nanoGPT-BitNet158b
The simplest, fastest repository for training/finetuning medium-sized ternary GPTs.
nindanaoto/oakd-ros-simple
OAK-D (OpenCV AI Kit camera) ROS simple codes with C++
nindanaoto/DC1proposal
nindanaoto/Alexandrite
Small RV32Iu processor
nindanaoto/tfhe-rs
TFHE-rs is a pure Rust implementation of TFHE for boolean and small integer arithmetics over encrypted data.
nindanaoto/aes_chisel
Implementation of the Advanced Encryption Standard in Chisel
nindanaoto/BLE-STAMP-MICRO-PRO
Micro pro pin compatible M5 Stamp S3 foot print convert pcb with 14500 mount
nindanaoto/awesome-mitou
有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです．
nindanaoto/bitnet158b
Implementation of bitnet158b
nindanaoto/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”.
nindanaoto/concrete-core
Concrete Core contains a set of low-level primitives which can be used to implement Fully Homomorphically Encrypted (FHE) programs.
nindanaoto/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
nindanaoto/depthai-python
DepthAI Python Library
nindanaoto/depthai-ros
nindanaoto/ErgoDash
keyboard
nindanaoto/FINAL
The fully homomorhic encryption scheme based on NTRU and LWE.
nindanaoto/kissat
nindanaoto/Lotus-Keyboard-Choc-v1
A split ergo linear keyboard derived from the Lily58 family using Choc v1 Switch and manufacturable at JLCPCB
nindanaoto/MOSFHET
MOSFHET: Optimized Software for FHE over the Torus
nindanaoto/MPpoly-converter
Convert a polynomial with multi-presicion integer coefficients to RNS form
nindanaoto/OAI22andAOI22forMinimalFab
nindanaoto/py-aiger
py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
nindanaoto/py-aiger-bdd
Aiger <-> BDD bridge.
nindanaoto/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
nindanaoto/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
nindanaoto/slack-export-viewer
A Slack Export archive viewer that allows you to easily view and share your Slack team's export
nindanaoto/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
nindanaoto/wasker
Wasm compiler for running Wasm on your favorite kernel