Lib.rs

› Keywords #prolog #cat #rules #cache #query #dog #interpreter #turing-machine

#fact

  1. lepton_jpeg

    Rust port of the Lepton lossless JPEG compression library

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

  2. linked

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

    v1.0.0 2.7K #thread-local #object #collaborate #families #arc-mutex #single-threaded #fact #synchronized #shared-state #thread-spawn

  3. antimatter_api

    Interact with the Antimatter Cloud API

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

  4. json_to_prolog

    convert JSON to Prolog

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

  5. path_facts

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

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

  6. aranya-policy-ast

    The Aranya Policy Language AST

    v0.10.0 4.9K #ast #policy-language #aranya #fact #action

  7. petfacts

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

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

  8. detsys-ids-client

    A client for install.determinate.systems

    v0.6.2 #events #http-transport #system #determinate #client #recorder #collator #submitter #identifying #fact

  9. is-test

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

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

  10. lemma-cli

    A language that means business

    v0.6.9 #documentation #rules #business #mcp-server #language #web-server #fact #model-context-protocol #auditable #cli-for-running

  11. fact-tools

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

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

  12. nall

    Not Another Logging Library

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

  13. eggplant-transpiler

    transpiler of eggplant to generate rust code from egglog code

    v0.2.7 #eggplant #egglog #dsl #pattern #define #rewrite-rules #rust-api #version-control #datatype #fact

  14. 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

  15. coppice

    Dynamic programming library for acyclic analytical queries

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

  16. serde_datalog

    A Serde serializer that extracts Datalog facts

    v0.2.0 130 #datalog #fact #serde

  17. seaplane

    SDK

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

  18. cultura

    Enhance your knowledge day by day, directly from your terminal

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

  19. cat-fax

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

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

  20. muscleman

    A buffer utility

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

  21. 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

  22. 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

  23. i-build

    bui

    v1.0.0-beta.3 #tauri-app #tauri-build #message #bui #webview #built-with-tauri #ship #js-api #reversing #fact

  24. mangle-factstore

    Mangle, a logic programming language

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

  25. mangle-engine

    Mangle, a logic programming language

    v0.1.1 100 #logic #mangle #rules #naive #fact

  26. 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

  27. polonius-parser

    Parser for the Polonius project

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

    28. Try searching with DuckDuckGo.

  28. aitia

    making sense of events in terms of causal graphs

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

  29. 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

  30. phreak_engine

    Rule matching algorithm focussed on speed

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

  31. lincoln_compiled

    Lowest level presentation of Lincoln

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

  32. shunting-yard

    shunting yard algorithm implementation in Rust

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

  33. lincoln_common

    Common functions, traits for Lincoln

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

  34. bigfactorial

    Precalculated compile-time factorial macro for numbers upto 99

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

  35. 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

  36. did-rs

    Implements a parser for decentralized identifiers

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

  37. deevee

    Designated verifier signatures

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

  38. i-macros

    Macroe

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

  39. sv_str

    Scalar Value string

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

  40. mathfacts

    A small command-line application to practice math facts

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

  41. phreak_facts

    Rule matching algorithm focussed on speed

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

  42. randog

    Util for random dog facts

    v0.2.0 #fact #dog #random

  43. 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

  44. 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

  45. fact

    For factorial

    v0.1.0 #factorial

  46. libwmata

    Get WMATA arrival times

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

  47. fact_cat

    Get your dose of cat facts

    v0.1.0 #fact #cat

  48. beers

    Rust-based implementation of the Homebrew CLI

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

  49. tracers-macros-hack

    Do not reference this crate directly; see the “tracers” crate for further instructions. This crate contains the actual proc-macro=true crate which implements the probing macros. Because the…

    v0.1.0 #probe #proc-macro #proc-macro-hack #tracer #probing #system-tap #fact #dtrace #caller #re-exports

  50. termcolor_output_impl

    colored! macro

    v1.0.0 6.0K #macro #colored #proc-macro-hack #documentation #system #re-implementation #fact