-
connectbot Public
Forked from connectbot/connectbotConnectBot is the first SSH client for Android.
Kotlin Apache License 2.0 UpdatedDec 20, 2025 -
termlib Public
Forked from connectbot/termlibConnectBot's terminal emulator Android Compose component using libvterm
Kotlin Apache License 2.0 UpdatedDec 17, 2025 -
sshlib Public
Forked from connectbot/sshlibConnectBot's SSH library
Java Other UpdatedDec 15, 2025 -
kuisthesis-template Public
Forked from CommCompEngKyotoU/kuisthesis-templateTeX UpdatedDec 14, 2025 -
bitwuzla Public
Forked from bitwuzla/bitwuzlaBitwuzla 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 …
SMT Other UpdatedDec 5, 2025 -
nindanaoto.github.io Public
-
Tutorial4BFV Public
Simple Python implementation of BFV for Tutorial Purpose
-
Alexandrite Public
Small RV32I processor
-
Simple Theorem Prover, an efficient SMT solver for bitvectors
C++ Other UpdatedNov 6, 2025 -
OutputCheck Public
Forked from stp/OutputCheckA tool for checking tool output inspired by LLVM's FileCheck
Python BSD 3-Clause "New" or "Revised" License UpdatedAug 29, 2025 -
-
painless Public
Forked from lip6/painlessA framework to ease parallelization of sequential SAT solvers
C++ Other UpdatedMay 19, 2025 -
-
ORB_SLAM3 Public
Forked from UZ-SLAMLab/ORB_SLAM3ORB-SLAM3: An Accurate Open-Source Library for Visual, Visual-Inertial and Multi-Map SLAM
-
zotero-android Public
Forked from zotero/zotero-androidZotero for Android
Kotlin Other UpdatedNov 18, 2024 -
-
py-aiger Public
Forked from mvcisback/py-aigerpy-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
Python MIT License UpdatedSep 20, 2024 -
-
Lotus-Keyboard-Choc-v1 Public
Forked from TweetyDaBird/Lotus-58-ClassicA split ergo linear keyboard derived from the Lily58 family using Choc v1 Switch and manufacturable at JLCPCB
HTML Other UpdatedMay 19, 2024 -
nanoGPT-BitNet158b Public
Forked from karpathy/nanoGPTThe simplest, fastest repository for training/finetuning medium-sized ternary GPTs.
-
bitnet158b Public
Forked from suito555/bitnet158bImplementation of bitnet158b
Python Apache License 2.0 UpdatedMar 5, 2024 -
awesome-mitou Public
Forked from kai0310/awesome-mitou有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです．
UpdatedFeb 20, 2024 -
wasker Public
Forked from mewz-project/waskerWasm compiler for running Wasm on your favorite kernel
WebAssembly Other UpdatedFeb 19, 2024 -
-
-
MPpoly-converter Public
Forked from itscreek/MPpoly-converterConvert a polynomial with multi-presicion integer coefficients to RNS form
C++ UpdatedJul 25, 2023 -
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedJun 7, 2023 -
slack-export-viewer Public
Forked from hfaran/slack-export-viewerA Slack Export archive viewer that allows you to easily view and share your Slack team's export
Python MIT License UpdatedMay 25, 2023 -
concrete-core Public
Forked from JuanParker1/concrete-coreConcrete Core contains a set of low-level primitives which can be used to implement Fully Homomorphically Encrypted (FHE) programs.
Rust Other UpdatedMar 22, 2023 -
BLE-STAMP-MICRO-PRO Public
Micro pro pin compatible M5 Stamp S3 foot print convert pcb with 14500 mount
MIT License UpdatedMar 4, 2023
{{ message }}