Lib.rs

› Keywords #aura #journal #p2p #authorization #effect #choreography #interpreter

#fact

  1. lemma-cli

    A language that means business

    v0.8.10 #rules #web-server #fact #interactive #mcp-server #specs #model-context-protocol #artificial-intelligence #auditable #cli-for-running

  2. lepton_jpeg

    Rust port of the Lepton lossless JPEG compression library

    v0.5.8 100 #jpeg #lossless-compression #lepton #port #progressive #baseline #drop-box #fact

  3. solverforge-cli

    CLI for scaffolding and managing SolverForge constraint solver projects

    v1.1.3 #scaffolding #constraint-solver #generator #run-time #target #domain-specific #fact #starter #rewrites

  4. kernex-memory

    Pluggable storage for Kernex — conversations, learning, and scheduled tasks

    v0.4.0 #kernex #system-prompt #conversation #task #learning #fact #model-context-protocol #persistent-memory #artificial-intelligence #lesson

  5. antimatter_api

    Interact with the Antimatter Cloud API

    v2.0.13 3.0K #encryption-key #peer-domain #identity-provider #control-plane #cloud-api #capsules #control-key #domain-status #fact #data-control

  6. path_facts

    You've subscribed to PATH FACTS: Tidy filesystem information to help debug unexpected errors

    v0.2.1 15K #fact #debugging #directory #error #unexpected-error #tidy #read-directory #ve #subscribed #system-information

  7. lemma-openapi

    OpenAPI 3.1 specification generator for Lemma specs

    v0.8.10 #openapi-generator #specification #lemma #open-api-specification #fact #business-rules #temporal #3-1 #boundaries

  8. aranya-policy-ast

    The Aranya Policy Language AST

    v0.13.0 8.5K #ast #policy-language #aranya #fact #action

  9. linked

    Create families of linked objects that can collaborate across threads while being internally single-threaded

    v1.0.9 #thread-local #instance #object #collaborate #families #arc-mutex #single-threaded #fact #synchronized #shared-state

  10. mangle-db

    Persistent fact stores for Mangle

    v0.7.0 #fact #cache #execution #store #database #edb #idb #mem-store #interpreter #modes

  11. detsys-ids-client

    A client for install.determinate.systems

    v0.6.3 160 #events #http-transport #system #determinate #client #recorder #collator #submitter #fact #http-file

  12. ascent-interpreter

    Interpreter and JIT for Ascent Datalog programs

    v0.1.5 #jit-compiler #interpreter #datalog #query #relation #ascent #string-interning #repl #fact #negation

  13. bevy_fact_rule_event

    Fact-Rule-Event system for Bevy engine

    v0.4.0 #bevy #rules-engine #fact #event-driven

  14. converge-model

    The curated semantic model surface for Converge

    v3.2.1 #converge #fact #model #proposal

  15. engram-lib

    Core library for Engram -- persistent semantic memory for AI agents

    v0.3.0 #onnx #engram #artificial-intelligence #memories #encryption #mcp #ai-agents #vector-search #fact #knowledge-graph

  16. hxrts-aura-signature

    Threshold signature schemes and attestation types for Aura

    v0.2.0 #aura #attestation #authority #session #fact #authorization #journal #p2p #deterministic-testing

  17. hxrts-aura-journal

    Fact-based journal storage, validation, and deterministic reduction

    v0.2.0 #fact #journal #p2p #operation #validation #crdt #aura #convergence #witness #consent

  18. hxrts-aura-store

    Storage domain types, semantics, and pure logic for Aura

    v0.2.0 #aura #storage #crdt #domain #effect #fact #journal #authorization #p2p #deterministic-testing

  19. hxrts-aura-maintenance

    Distributed maintenance: snapshots, garbage collection, and OTA upgrades

    v0.2.0 #aura #maintenance #snapshot #ota #garbage-collection #distributed #fact #journal #deterministic-testing #p2p

  20. trackone-core

    Core no_std-capable cryptographic and serialization primitives for TrackOne

    v0.1.0-alpha.15 #cryptography #serialization #deterministic #record #frame-counter #firmware #fact #cbor #commitment #re-exports

  21. converge-analytics

    Analytics and ML pipeline for Converge agents

    v3.2.1 #converge #agent #inference #ml #storage #polars #temporal #fact #ml-model

  22. json_to_prolog

    convert JSON to Prolog

    v0.4.0 #convert-json #prolog #json-schema #json-schema-validation #rules #fact #wasm-bindings

  23. hxrts-aura-mpst

    Multi-party session type extensions for Aura

    v0.2.0 #aura #extension #effect #choreography #operation #journal #fact #multi-party #choreographic #p2p

  24. mangle-wasm

    Browser WASM target for the Mangle interpreter

    v0.7.0 #wasm-interpreter #browser #wasm-target #fact #mangle

  25. invariant-core

    Multi-language semantic code analysis library — tree-sitter fact extraction for DataGrout Invariant

    v0.2.2 #invariants #code-analysis #tree-sitter #fact #query #data-grout #multi-language #ruby #server-side #elixir

  26. hxrts-aura-composition

    Aura Layer 3: Handler composition and effect system assembly

    v0.2.0 #aura #effect #handler #layer #assembly #fact #journal #choreographic #p2p

  27. hxrts-aura-guards

    Guard chain enforcement for authorization, flow budgets, and leakage tracking

    v0.2.0 #effect #budget #authorization #aura #tracking #journal #fact #privacy #leakage #interpreter

  28. hxrts-aura-authorization

    Capability-based authorization for Aura

    v0.2.0 #aura #effect #authorization #handler #fact #journal #capability-based #p2p #privacy #algebraic-effect

  29. hxrts-aura-anti-entropy

    Journal anti-entropy and fact synchronization for Aura

    v0.2.0 #anti-entropy #aura #fact #effect #journal #crdt #p2p

  30. mangle-parse

    Mangle, a logic programming language

    v0.7.0 #fact #parser #rules #logic #expression

  31. hxrts-aura-core

    Foundation types, effect traits, and cryptographic utilities for Aura

    v0.2.0 #fact #p2p #aura #effect #journal #authorization #cryptography #crdt #choreography #convergence

  32. hxrts-aura-sync

    Journal synchronization and peer-to-peer fact exchange

    v0.2.0 #p2p #fact #journal #session #aura #authorization #crdt #privacy #deterministic-testing #witness

  33. mangle-engine

    Mangle, a logic programming language

    v0.7.0 #logic #rules #mangle #semantic #engine #fact #interpreter

  34. petfacts

    CLI program to print out cat and dog facts to the console

    v0.1.5 #fact #dog #cat #cli #pets

  35. hxrts-aura-recovery

    Guardian-based device recovery and key restoration protocols

    v0.2.0 #recovery #effect #fact #aura #protocols #journal #authorization #restoration #choreography #enforced

  36. car-memgine

    Memgine — graph-based memory engine for Common Agent Runtime

    v0.1.1 #graph #graph-node #memory-engine #graph-based #run-time #car #fact #success #cuda #conversation

  37. hxrts-aura-rendezvous

    Secret-Branded Broadcasting (SBB) and rendezvous protocols for Aura

    v0.2.0 #rendezvous #aura #effect #fact #local #broadcasting #privacy #authorization #journal #choreography

  38. hxrts-aura-authentication

    Authentication protocols and identity verification for Aura

    v0.2.0 #aura #authentication-protocol #protocols #authorization #effect #fact #identity-verification #journal #choreography #p2p

  39. is-test

    A replacement for the test command, with options that are memorable. Makes shell scripting much easier.

    v0.3.0 #shell #replace #scripting #testing #memorable #single-letter #dawn #fact

  40. hxrts-aura-invitation

    Invitation lifecycle protocols for contacts, channels, and guardians

    v0.2.0 #invitation #aura #effect #channel #devices #life-cycle #fact #journal #guardians #choreography

  41. gollum-kb

    Knowledge Base interface for the Gollum platform

    v0.4.0 #knowledge-base #gollum #fact #platform #vec #badge #svg #gitlab #in-memory

  42. suiron-rust

    A fast Prolog-like inference engine

    v0.1.0 #inference-engine #knowledge-base #logic-programming #query #fact #prolog #tutorial #father #cargo-run #prolog-like

  43. hxrts-aura-amp

    Aura Messaging Protocol: reliable async messaging with acknowledgment and ordering

    v0.2.0 #messaging #amp #aura #protocols #order #messaging-protocol #fact #journal #choreography #telemetry

  44. gollum-kb-oc

    OpenCypher Knowledge Base for Gollum

    v0.4.0 #knowledge-base #gollum #query #open-cypher #fact #kb #gq-lite #graph-database

  45. fact-tools

    FACT (Fast Augmented Context Tools) - High-performance context processing engine for AI applications

    v1.0.0 #fact #cognitive #cache-performance #cache #performance

  46. meme

    Long term memory for AI agents

    v0.7.0 #artificial-intelligence #long-term #ai-agents #pipeline #lance-db #memories #llm #hybrid-search #conversation #fact

  47. serde_datalog

    A Serde serializer that extracts Datalog facts

    v0.2.0 130 #datalog #fact #serde

  48. nall

    Not Another Logging Library

    v0.6.0 900 #logging #clog #not-another #fact

  49. seaplane

    SDK

    v0.8.0 100 #rust-sdk #service #fact

  50. coppice

    Dynamic programming library for acyclic analytical queries

    v0.3.1 160 #dynamic-programming #map-reduce #query #cache #analytical #fact #opaque

  51. cultura

    Enhance your knowledge day by day, directly from your terminal

    v1.0.0 #terminal #day #enhance #fact #zsh #bash #fish #reddit #culture #wikipedia

  52. cat-fax

    Like Cowsay, but with (mostly) factually accurate cat facts!

    v1.1.0 #terminal-output #cat #cowsay #fact #color #output-image #display-output

  53. muscleman

    A buffer utility

    v0.3.1 #buffer #utility #funny #fact #thinking #buff

  54. pleingres

    A pure Rust interface to PostgreSQL. Will never block (hence the name, a pun on that fact in french).

    v0.4.5 #sql #portal #postgresql #query #server #database #postgresql-client #french #fact #send-request

  55. geobacter-runtime-core

    Geobacter platform runtime shared code. Requires the Geobacter Rust compiler to build.

    v1.0.0 #driver #run-time #rust-compiler #kernel #geobacter #accelerator #llvm #vulkan #fact #spir-v

  56. lincoln

    A low level programming language features linear types and direct manipulation of continuation (returning points)

    v0.1.0 #interpreter #programming-language #continuation #low-level #ir #fact #low-level-programming #lambda-calculus #turing-machine #state-transition

  57. polonius-parser

    Parser for the Polonius project

    v0.2.0 #polonius #block #fact #description #ir #goto #test-cases #parse-input #data-model

    58. Try searching with DuckDuckGo.

  58. aitia

    making sense of events in terms of causal graphs

    v0.4.0-dev.0 2.4K #holochain #fact #holo

  59. is-thirteen

    Did you consider the fact that "Jodie Whittaker" represents the number 13 in some cultures? No you didn't. That's why you need this crate.

    v0.13.0 #why #equals #13 #fact #original #whittaker #medium #blog #posted

  60. lincoln_compiled

    Lowest level presentation of Lincoln

    v0.1.0 #interpreter #lincoln #value #context #ir #fact #permutation #lambda-calculus #turing-machine #lowest

  61. phreak_engine

    Rule matching algorithm focussed on speed

    v0.1.5 #rules-engine #matching-algorithm #fact #phreak #production #focussed #cpu-cache

  62. shunting-yard

    shunting yard algorithm implementation in Rust

    v1.0.2 #shunting-yard-algorithm #fact #variables #minus #glory #teammates

  63. hxrts-aura-macros

    Procedural macros for Aura ownership boundaries and choreography

    v0.2.0 #p2p #aura #choreography #boundaries #ownership #fact #proc-macro #choreographic

  64. lincoln_common

    Common functions, traits for Lincoln

    v0.1.0 #interpreter #lincoln #ir #value #traits #lambda-calculus #turing-machine #state-transition #instruction-set #fact

  65. bigfactorial

    Precalculated compile-time factorial macro for numbers upto 99

    v0.1.2 #macro #compile-time #factorial #upto #numbers #precalculated #fact #99

  66. bagofholding

    collection types. Efficient data structures that look bigger on the inside.

    v0.1.0 #data-structures #tries #tree #bigger #look #fact #trade #memory-efficient #taken #differentiate

  67. did-rs

    Implements a parser for decentralized identifiers

    v0.1.5 #parser #decentralized #specification #identifier #nom #fact #reimplemented #using-pest

  68. deevee

    Designated verifier signatures

    v0.3.0 #verifier #signature #schnorr-signature #forge #designated #fact #private-key #cryptography

  69. jacquard-core

    Shared identifiers, types, and constants for Jacquard routing

    v0.6.0 #routing-engine #identifier #constant #shared #fact #link-state

  70. i-macros

    Macroe

    v1.0.0-beta.4 #tauri-app #applications #generic #js #managed #webview #built-with-tauri #ship #fact #polyglot

  71. sv_str

    Scalar Value string

    v1.0.4 #string #scalar #value #error #fact

  72. mangle-factstore

    Mangle, a logic programming language

    v0.1.1 #fact #logic #iops #io #mangle

  73. mathfacts

    A small command-line application to practice math facts

    v0.1.2 #math #fact #practice #command-line-utilities #applications

  74. phreak_facts

    Rule matching algorithm focussed on speed

    v0.1.5 #fact #algorithm #store #information #structures #matching-algorithm #focussed

  75. mfm-collectors-evm

    Collector-facing EVM traits and payload types for MFM

    v0.1.0 #evm #collector #fact #io-call #payload #mfm #blockchain #defi

  76. randog

    Util for random dog facts

    v0.2.0 #fact #dog #random

  77. rcstr

    A reference counted string that acts like a regular str slice, hiding the fact that it is wrapped in Rc

    v0.1.0 #rc #string #slice #fact #act #hiding

  78. fact

    For factorial

    v0.1.0 #factorial

  79. lives-macros

    Procedural macros for lives-rs

    v0.1.2 #smart-pointers #life #proc-macro #lifetime #action #caller #fact #alive #liveness #covariant

  80. git-worktree

    Please use gix-<thiscrate> instead (‘git’ -> ‘gix’)

    v0.12.3 650 #git #gix #repository #gix-thiscrate #ways #gitoxide #developer-experience #fact #real-world-scenario #version-control

  81. libwmata

    Get WMATA arrival times

    v0.1.1 #arrival #wmata #serde-json #value #fact #deserialized

  82. fact_cat

    Get your dose of cat facts

    v0.1.0 #fact #cat

  83. beers

    Rust-based implementation of the Homebrew CLI

    v0.1.0 #homebrew #api #rust-based #fact #formulae