Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

› Keywords #logic-circuit #quantum-computing #logic #annealing #quantum-simulation

#gate

  1. quantrs2

    Comprehensive Rust quantum computing framework - unified entry point for quantum simulation, algorithm development, and hardware interaction

    v0.1.0-rc.2 #quantum-computing #gate #annealing

  2. naivesat

    Few solvers that uses the Gate project

    v0.1.3 #logic-circuit #gate #logic

  3. ruqu

    Classical nervous system for quantum machines - real-time coherence assessment via dynamic min-cut

    v0.1.32 #quantum #error-correction #coherence #min-cut #gate #quantum-error-correction

  4. qip

    efficient quantum computing simulations

    v1.5.0 #quantum-computing #quantum-simulation #qubit #register #quantum-circuit #gate #ra #quantum-circuit-simulation #probability

  5. statsig

    SDK for usage in multi-user server environments

    v1.4.0 150K #experiment #gate #ci #flags #api-bindings

  6. cognitum-gate-tilezero

    Native arbiter for TileZero in the Anytime-Valid Coherence Gate

    v0.1.1 #arbiter #coherence #gate #security

  7. infmachine

    The Infinite Machine

    v0.1.1 #logic-circuit #gate #logic

  8. boolean-circuit

    import, modify and export boolean circuits

    v2.2.0 220 #circuit #cnf #dimacs #aiger #gate

  9. infmachine_examples

    Examples for the Infinite Machine

    v0.1.0 #logic-circuit #machine #gate

  10. async-gate

    A Tokio-powered asynchronous gate (analogous to a flag and highly inspired by Python’s asyncio.Event, but can be waited for to become ‘false’ too)

    v0.4.0 300 #gate #flags #tokio #events

  11. infmachine_gen

    The Infinite Machine generator library

    v0.1.1 #logic-circuit #machine #gate

  12. gateio-rs

    Comprehensive Rust SDK for Gate.io cryptocurrency exchange API with sync and async support

    v0.1.0 #cryptocurrency #cryptocurrency-exchange #gate #io-api #spot-trading #async-io #builder-pattern #synchronous-client #sha-512 #authentication

  13. gate

    A specialized 2D game library

    v0.6.3 #2d-game #game #2d

  14. tdln-gate

    TDLN — Policy Gate (preflight/decision) with proof-carrying determinism

    v0.1.1 #gate #deterministic #tdln #policy

  15. xlsynth-g8r

    XLS IR to gate mapping

    v0.25.0 #gate #xl-synth #netlist #traversal #ir #mcmc #liberty #cone #aig #aiger

  16. rustlogic

    basic parsing and handling of logical formulas

    v0.2.1 #logical-circuit #gate #logic #parser

  17. inst_derive

    Derive macro for tagged union enums implementing the Instantiable trait in safety-net

    v0.1.2 #macro-derive #instantiable #safety-net #enums #constant #gate #debugging

  18. qurs

    Qulacs implementation in Rust

    v0.2.0 380 #qulacs #gate #zero

  19. infmachine_exec

    The Infinite Machine Executor and Debugger

    v0.1.0 #logic-circuit #machine #gate

  20. gate_build

    Build utilities for Gate, a specialized 2D game library

    v0.6.3 #2d-game #gate #game

  21. circuit_sat_check

    generate circuit checking to CNF formula

    v0.1.0 #logic-circuit #gate #circuit

  22. gain

    Async/await-based framework for programs targetting Gate runtime (wasm32 targets)

    v0.5.0 #gate #framework #wasm #await #api-bindings

  23. mocktoffel

    easy to use mocking library with minimal boilerplate

    v0.1.0 #mocking #boilerplate #toffel #string #wrap #gate #initiator

    24. Try searching with DuckDuckGo.

  24. infmachine_config

    The Infinite Machine configuration

    v0.1.0 #logic-circuit #machine #gate

  25. gain-lep

    Support for exposing Gain APIs via Lep

    v0.1.3 #gate #future #lisp #framework #await

  26. positron

    parse and execute boolean expressions

    v0.2.4 #expression #boolean #execute #gate #parser

  27. gate_calc_log_bits

    Helper for the Gate Project

    v0.1.0 #logic-circuit #gate #logic

  28. const-ft

    Macro for wrapping const fn in a feature gate

    v0.1.2 #const-fn #macro-for-wrapping #gate

  29. rustlogic-march1917

    basic parsing and handling of logical formulas(forked from coastalwhite)

    v0.1.0 #logical #gate #parser #circuit #logic

  30. logical_gate

    A logic gate crate

    v0.1.0 #gate #logical #logic

  31. qsocket

    QSocket library

    v0.1.3 #sockets #unique-identifier #tls-connection #networking #fingerprint #gate #certificate #128-bit #hardcode #tls-certificates

  32. oidc-rs

    A generic OIDC client

    v0.1.1 #oidc-client #requests #generic #computer-science #house #insecure #gate

  33. gain-localhost

    Client API for gate.computer/localhost service

    v0.1.3 #gate #service #http #api-bindings

  34. axiom-eth

    main library for building ZK circuits that prove data about the Ethereum virtual machine (EVM)

    v0.4.3 #ethereum #prove #keccak-hash #column #zk-vm #witnesses #gate

  35. rp2040_wait

    more accurate wait times than Delay using rp2040_hal::timer::Timer

    v0.1.0 #timer #wait #rp2040 #gate #hal

  36. diman_derive_verify

    Internal procedural macros for diman

    v0.3.0 #diman #unit-system #time-unit #proc-macro #compile #const-generics #si-units #gate #debugging #velocity

  37. token-acl-gate-client

    Token ACL Gate program with generated client code

    v0.1.0 #acl #token #gate #generated

  38. icecave

    AWS Nitro Enclaves to attest to the Internet Computer (IC) Gate canister and provide a vsock-backed ic-agent transport

    v0.2.0 #canister #gate #aws-nitro #transport #attest #ic-agent

  39. gate-pkg

    Package for interchain-gate

    v0.1.0 #gate #interchain-gate #package