-
infmachine_examples Public
Examples for the Infinite Machine.
Rust Apache License 2.0 UpdatedMay 31, 2025 -
infmachine_exec Public
The Infinite Machine Executor and Debugger.
Rust Apache License 2.0 UpdatedMay 31, 2025 -
infmachine_gen Public
The Infinite machine generator library.
Rust Apache License 2.0 UpdatedMay 31, 2025 -
-
infmachine_config Public
Configuration for the Infinite Machine.
Rust Apache License 2.0 UpdatedMay 31, 2025 -
-
naivesat Public
Few solvers that uses the Gate project.
Rust Apache License 2.0 UpdatedFeb 26, 2025 -
gatenative Public
The library to execute natively Gate circuits.
Rust Apache License 2.0 UpdatedFeb 21, 2025 -
circuit_sat_check Public
Simple utility to generate circuit checking to CNF formula.
Rust Apache License 2.0 UpdatedFeb 21, 2025 -
gateconvert_exec Public
The program to convert Gate circuit from/to foreign logic format.
Rust Apache License 2.0 UpdatedFeb 21, 2025 -
gateconvert Public
The library to convert Gate circuit from/to foreign logic format.
Rust Apache License 2.0 UpdatedFeb 21, 2025 -
-
gateutil Public
The library with basic utilities for GateSim.
Rust Apache License 2.0 UpdatedFeb 21, 2025 -
gatesim Public
The base library for the Gate Project.
Rust Apache License 2.0 UpdatedFeb 21, 2025 gate_calc_log_bits Public
Small helper for the Gate project.
Rust Apache License 2.0 UpdatedFeb 21, 2025 exec-sat Public
Executes SAT solver and parses SAT solver output
Rust GNU Lesser General Public License v2.1 UpdatedFeb 16, 2025 cnfgen Public
The library to generate CNF (Conjunctive Normal Form) formulaes.
simple-irc-server Public
The simple IRC server written in Rust
amdcovc Public
Utility to overclock AMD Radeon GPU's in console mode (linux)
rust-native-tls Public
Forked from sfackler/rust-native-tlssimple-hyper-server-tls Public
Simplify initialization TLS for Hyper server
cnfgen-nand-opt Public
Generates CNF for checking possibility to build circuit.
Rust GNU Lesser General Public License v2.1 UpdatedFeb 22, 2023 rust-i586-linux-setup Public
Files needed to build Rust compiler for i586 architecture for Linux.
UpdatedFeb 8, 2023 laravel-checkers Public
Checkers game in Laravel framework
PHP GNU General Public License v2.0 UpdatedJan 3, 2023 clgpustress Public
Heavy OpenCL GPU stress tester
slog-json-concur Public
Concurrent version of the slog-json.
Rust Apache License 2.0 UpdatedJul 17, 2022 poem Public
Forked from poem-web/poemA full-featured and easy-to-use web framework with the Rust programming language.
Rust Apache License 2.0 UpdatedJun 12, 2022 quinn Public
Forked from quinn-rs/quinnAsync-friendly QUIC implementation in Rust
Rust Apache License 2.0 UpdatedJun 10, 2022 bitfinex_borrow_catcher Public
Utility to catch borrow with the lesser interest rate for long term positions on Bitfinex exchange.
{{ message }}