Lib.rs

› Search #quantum-simulation #serialization #runge-kutta #state #owl

  1. colorous

    Professional color schemes ported from d3-scale-chromatic

    v1.0.16 53K #color-gradient #gradient #graphics #no-alloc

  2. diffsol

    solving ordinary differential equations (ODEs) in Rust

    v0.10.4 240 #ode-solver #differential-equation-solver #ordinary-differential-equation #scientific-computing #state-vector #dsl #jacobi #bdf #runge-kutta #sparse-matrix

  3. polyglot-sql

    SQL parsing, validating, formatting, and dialect translation library

    v0.1.2 #sql #sql-parser #sql-builder #expression #polyglot #dialect #parse-generate #ast-node #transpile #module-resolution

  4. kotoba-state-graph

    UI state management library for Kotoba using graph rewrite rules

    v0.1.22 #graph #state #ui

  5. lean-tui

    Standalone TUI infoview for Lean 4 theorem prover

    v0.6.14 #proof-assistant #lean4 #math

  6. howzat

    Dynamic double-description and LRS-backed polyhedral conversion with state-of-the-art performance

    v0.3.2 #performance #dynamic #convert #state-of-the-art #dd #adjacency #cone #rug #vertices #polyhedral

  7. rkf78

    Runge-Kutta-Fehlberg 7(8) integrator for spacecraft trajectory propagation

    v0.1.0 #runge-kutta #trajectory #ode #integrator #astrodynamics

  8. francoisgib_webserver

    HTTP Webserver

    v1.0.3 750 #web-server #serialization #strum #endpoint #structures #les #la #et #du #des

  9. butler-portugal

    implementing the Butler-Portugal algorithm for tensor canonicalization

    v0.1.3 190 #canonicalization #symmetry #physics #tensor #relativity

  10. fukurow-store

    RDF triple store with provenance tracking and audit trails for Fukurow

    v0.2.0 #rdf #knowledge-graph #rdf-triple #triple-store #audit #provenance #graph-store

  11. fukurow-dl

    OWL DL reasoning engine for Fukurow (complete tableau algorithm with individual reasoning)

    v0.2.0 #owl #tableau #dl #reasoning #description-logics

  12. fukurow-lite

    OWL Lite reasoning engine for Fukurow (tableau algorithm implementation)

    v0.2.0 #ontology #owl #semantic-web #tableau #reasoning

  13. qdk_sim_rs

    Rust-based simulators for use with the Quantum Development Kit

    v0.28.291394 120 #quantum-simulation #kit #process #state #python #complex-numbers #c-api #caller #stabilizer #low-level-api

  14. rustiq-core

    Quantum circuit synthesis library in rust

    v0.0.11 21K #quantum-circuit #circuit-synthesis #graph #structures #object #clifford #pauli #tableau #quantum-algorithms #stabilized

  15. amari-enumerative

    Enumerative geometry capabilities for the Amari library

    v0.18.1 #geometry #math #schubert #intersection #enumerative

  16. oxiz-theories

    Theory Solvers (EUF, Arithmetic, BitVectors) for OxiZ

    v0.1.3 #smt-solver #theories #euf

  17. qdk_sim_experimental

    Experimental simulators for use with the Quantum Development Kit

    v0.24.216270-beta 100 #quantum-simulation #experimental #process #kit #state #serialization

  18. livetrace

    CLI tool for live tailing of OTLP traces and logs in the Serverless OTLP Forwarder architecture

    v0.2.1 100 #lambda #serverless #otel #tracing

  19. tree-buf

    A prototype binary serialization protocol for data

    v0.10.0 #binary-encoding #serialization #protocols

  20. marmoset

    card game SET

    v0.9.4 #card-game #game #set

  21. qlit

    Strong exact simulation of Clifford+T quantum circuits

    v0.1.0 #quantum-circuit #quantum-simulation #clifford-t #strong

  22. stabilizer-ch-form-rust

    implementing CH form representation of stabilizer states for quantum computing simulations

    v0.1.1 #quantum-computing #stabilizer #quantum-simulation #ch-form

  23. tableau

    creating pretty tables in the terminal

    v0.1.0 #terminal-table #terminal #cli-table #cli

  24. gitv

    A git repos analyzing and visualizing tool built in Rust

    v0.1.0 #git #visualization #tool

  25. boss

    Baseball Open Source Software

    v0.0.3 #source #baseball #open #statistics #data-aggregation

  26. freecell

    Game objects and rules for the solitaire card game FreeCell

    v0.1.0 #card-game #patience #solitaire #game

    27. Try searching with DuckDuckGo or on crates.io.

  27. propositional-tableau-solver-rs

    Propositional tableau solver for propositional formulas

    v0.1.0 #propositional #tableau #formula #satisfiability #solver

  28. rulp

    providing functionality to parse, create and solve linear programming problems

    v0.1.0 #linear-programming #simplex #tableau #linear-program

  29. busbar-sf-types

    Auto-generated Salesforce metadata types with modular feature flags

    v0.0.1 #salesforce #metadata #codegen #type