Lib.rs

› Keywords #proc-macro #compile-time #type-safe #serialization #scripting-language

#type-system

  1. virtue

    A sinless derive macro helper

    v0.0.18 1.4M #proc-macro #macro-derive #macro-helpers #derive-input #type-system #respect

  2. shape

    A portable static type system for JSON-compatible data

    v0.6.0-preview.0 5.3K #type-system #json-schema #schema-validation #namespaces #metadata #json-schema-validation #acceptance #field-access #json-validation

  3. typeql

    Language for Rust

    v3.5.0 500 #query-language #database #database-query-language #typedb #grammar #type-system #polymorphism #nlp

  4. pen-ffi

    FFI library for Pen programming language

    v0.10.23 #functional-programming #pen #wasm #go #concurrency #type-system #language-syntax

  5. rsnark-provers-core

    write Zero-Knowledge circuits for multiple prover systems

    v0.1.6 800 #circuit #prover #back-end #zero-knowledge #write #type-system #rsnark #groth16

  6. starlane

    – An Orchestration and Infrastructure Framework for WebAssembly Components (https://starlane.io) This packaged manages HyperSpace which provides infrastructure for Space Apis…

    v0.3.21 800 #deployment #infrastructure #starlane-space #driver #wasm-framework #type-system #space-api #api-framework

  7. grabapl

    graph-based programming languages, with pluggable type systems and a focus on visible intermediate states

    v0.0.4 #graph #type-system #programming-language #state #graph-based #visible #decide #linked-list #directed-graph

  8. typesafe_builder

    A procedural macro to generate type-safe builder patterns for Rust structs

    v1.6.0 360 #builder-pattern #type-system #type-safe #proc-macro #powered #necessity

  9. zenobuf-core

    A simpler ROS-like framework in Rust with Zenoh transport and Protocol Buffers

    v0.3.3 #ros #zenoh #framework #protocols #node #serialization #simpler #pub-sub #distributed-systems #type-system

  10. openapi-rs

    A type-safe Rust client library for building, signing, and sending API requests with minimal boilerplate

    v0.1.4 300 #api-client #boilerplate #cloud #sending #building #hpc #type-safe #env-var #type-system #async-await

  11. torii-mailer

    Pluggable email system for the torii authentication ecosystem

    v0.5.1 #authentication-ecosystem #torii #mailer #template-engine #transport #smtp #askama #sendmail #local-file #type-system

  12. swamp

    script language for embedding

    v0.2.26 160 #scripting-language #immutability #embedding #default #compile #type-system #pattern-matching #control-flow #algebraic-data-types #functional-programming-concepts

  13. microrm

    Lightweight ORM using sqlite as a backend

    v0.5.1 310 #sqlite #orm #database-migrations #type-system #object #sqlite-back-end

  14. mago-codex

    PHP type system representation, comparison logic, and codebase metadata for static analysis

    v1.0.0-beta.17 2.0K #php #type-system #codebase #metadata #static-analysis #mago #type-checker #metadata-analysis

  15. vantage

    type-safe, ergonomic database toolkit for Rust that focuses on developer productivity without compromising performance. It allows you to work with your database using Rust's strong…

    v0.2.0 #sql #dataset #entity #business #orm #type-system #database #query-builder #developer-productivity #entity-framework

  16. positional

    author/parse positional files

    v0.4.4 500 #parser #proc-macro #row #serialization #author #type-system

  17. rs-odbc

    Minimal safe Rust implementation of ODBC

    v0.2.0 #odbc #safe-odbc #error #api #handle #type-system #compile-time

  18. rusttyc

    writing type checkers with a lattice-like type system in rust

    v0.5.0 170 #type-checker #type-system #lattice

  19. relog

    Strong String Normalization

    v1.0.13 170 #type-system #algorithm

  20. jrsonnet-types

    Jrsonnet type system definition

    v0.5.0-pre97 6.7K #jrsonnet #jsonnet #type-system #information #templating #text-center #interpreter

  21. linear_type

    Linear types for rust

    v0.7.2 #type-system #cell #undropable #nodrop

  22. rsnark-provers-gnark

    write Zero-Knowledge circuits for multiple prover systems

    v0.1.8 750 #circuit #prover #back-end #gnark #zero-knowledge #rsnark #groth16 #type-system

  23. checked-rs

    encoding validation semantics into the type system

    v1.0.0 800 #type-system #validation #clamp

  24. swamp-types

    types used in Swamp

    v0.2.29 700 #swamp #type-system #compiler #signature #container

  25. roussillon-type-system

    A type system for a programming language

    v0.4.3 #type-system #value #type

  26. secador

    Stop repeating code

    v0.1.4 600 #stop #substitution #repeat #symbols #macro #type-system #forms

  27. image-texel

    A texel type and allocated buffers suitable for image data

    v0.5.0 #image-buffer #texel #pixel #layout #alignment #type-system #plain-old-data #rgb #bytemuck #data-layout

  28. drop_guard

    enables you to implement the Drop trait on any type. So you can run a closure on any value running out of scope

    v0.3.0 3.0K #closures #container #type-system #lambda #callback

  29. mu_lib

    XCENA mu Library

    v0.1.10 500 #mu #allocator #safety #bindings #default #panic-handler #xcena #global-allocator #type-system #accessible

  30. yatima-core

    The core evaluation, typechecking and content-addressing infrastructure of the Yatima Language

    v0.1.1 #content-addressing #type-checking #vector #nat #expression #compiler-infrastructure #programming-language #type-system #norm #datatype

  31. relend

    A generalized reborrowing mechanism that extends beyond simple references. It also allows for implementing traits that work with reborrowing for custom types.

    v0.1.2 130 #traits-for-types #reborrowing #reference #generalized #mechanism #lend #zero-cost-abstractions #type-system

  32. decaf377-rdsa

    randomizable signature scheme using the decaf377 group

    v0.11.0 2.8K #signature-verification #decaf377 #group #verification-key-bytes #signing-key #cache #indicating #refinement #32-byte #type-system

  33. smn_type

    A standard, binary optimized type system for Rust

    v0.1.14 #type-system #standard #binary #optimized

  34. polyvalue

    A weak-typed analog for rust

    v0.3.4 550 #type-system #bit-manipulation #convert #currency #serialization #ord #hash

  35. type-flow-macros

    Macros to make pipelines that encode the order of operation execution in the type signature of the pipeline and allow for functions that mutate that order

    v0.1.2 300 #macro-rules #meta-programming #type-system #codegen

  36. tremor-codec

    Tremor Script Interpreter

    v0.13.0-rc.33 260 #tremor #script-interpreter #decode #encode #encoding-decoding #data-decoding #type-system

  37. vtid

    generating volatile type IDs

    v0.1.3 #type-id #type-system #versioning

  38. type-leak

    Enable sharing type context beyond crate boundary

    v0.2.0 #type-system #macro #syn #no-alloc

  39. sark

    Asynchronous Rust webKit

    v0.1.1 #async #web-kit #http-request #single-threaded-async #server #dynamic-dispatch #send-sync #web-framework #type-system #type-safe

  40. sudoku-checker

    A sudoku checker only using the type system

    v0.1.1 #compile-time #sudoku #type-system

  41. zlink-macros

    Macros providing the high-level zlink API

    v0.1.0 #no-std #varlink #macro #ipc #zlink #tokio-runtime #proxy #type-system #serde-json #macro-generation

  42. lambda-types

    Puts the lambda calculus in Rust...'s type system

    v0.2.1 #lambda-calculus #type-system #cursed

  43. sus-impls

    Non-conflicting implementations for optional fields

    v0.2.1 #optional-fields #impl #field #non-conflicting #type-system #sus

  44. lx

    A no_std crate to use Linux system calls

    v0.4.0 #linux #safe #abi #duplicates #system #type-system

  45. parkour

    A fast, extensible command-line arguments parser

    v0.1.0 #arguments-parser #extensible #value #convert #error #type-system

  46. arithmetic-typing

    Hindley-Milner type inference for arithmetic expressions

    v0.4.0-beta.1 #type-system #scripting-language #arithmetic

  47. wander

    scripting language

    v0.5.0 #scripting-language #interfacing #partially #wasm #applications #jvm #embedding #type-system #catch #usability

  48. fenwick-bit-tree

    Slighly over-engineered FenwickTree implmentation

    v2.0.2 280 #fenwick-tree #over-engineered #implmentation #tree-structure #data-structures #benchmark #type-system

  49. erg_type

    APIs for Erg types

    v0.5.9-nightly.0 #erg #compile-time #python #api #flags #type-system

  50. lv2-atom

    rust-lv2's Atom handling library

    v2.0.0 250 #lv2 #lv2-plugin #atom #audio-plugin #audio-processing #data-exchange #plugin-framework #rust-lv2 #urid #type-system

  51. lllllxxxxx

    TypeQL Grammar for Rust

    v0.0.7 #grammar #query-language #typeql #database #strong-typing #typedb #type-system #polymorphism #domain-model

  52. ferrum_cloud

    Pure Rust implementation of Point Cloud Library (PCL)

    v0.1.0 #point-cloud #point-cloud-processing #pcl #format #operation #zero-copy #type-system #memory-safety

  53. discreet

    Generate numerical codes from definitions of PDEs and discretisations in the type system

    v0.1.0 #generate #numerical #pde #codes #type-system

  54. zlink-core

    The core crate of the zlink project

    v0.1.0 150 #varlink #ipc #embedded #service #idl #proxy #type-system #macro-derive #serde-json #systemd

  55. redact-crypto

    Crypto abstractions for the Redact framework

    v2.7.1 #redact #encryption #cryptography #abstraction #type-system #store-data #mongo-db

  56. seedwing-policy-engine

    A functional type system for implementing policy inspection, audit and enforcement

    v0.1.0-alpha.2 #policy #type-system

  57. validity

    A type safe wrapper for enforcing arbitrary properties at compile time

    v0.3.1 160 #compile-time #validation #properties #email #err #enforcing #type-system #user-email

  58. rsnark-core

    write Zero-Knowledge circuits for multiple prover systems

    v0.1.3 410 #prover #circuit #type-system #zero-knowledge #back-end #groth16 #proof-systems #constant-value

  59. covalent

    name available

    v0.1.2 #rendering-engine #game-engine #order #automatic #ecs #thread-safe #data-driven #race-condition #type-system #borrow-checker

  60. ferrum

    Extensible, Concurrency Focused Web Framework in Rust

    v0.2.1 #web-framework #extensible #concurrency #concurrency-framework #type-system #single-threaded

  61. yoric/yaiouom-checker

    Prototype extension of the Rust type system towards checking units-of-measure

    GitHub 0.1.0 #units-of-measurement #type-system #checking #yaiouom #unify #prototype #towards

  62. type-sets

    Sets implemented in the rust type-system

    v0.0.6 #type-system #set #type-level

  63. noders

    NodeJS-like event loop environment for Rust

    v0.0.2 #macro #events #nodejs-like #scope #environment #javascript #memory-safe #type-system #api-design #haskell

  64. semantics

    mapping

    v0.1.0 #semantic #mapping #vertex #integer #field #type-system

  65. wrpc-types

    wRPC type system

    v0.6.0 #wrpc #rpc-framework #wasm #networking #dynamic #component-native #type-system #component-model #stream-future

  66. erg_proc_macros

    proc macros for Erg

    v0.6.53 360 #erg #proc-macro #compiler #python #compatible #type-system

    67. Try searching with DuckDuckGo.

  67. tag_password

    An advanced Rust library leveraging the type system to statically determine password hashing status for enhanced security

    v0.1.3 #password-hashing #argon2 #status #plain-text #determine #type-system #compile-time #phantom-data #marker #zero-sized

  68. absolute_unit

    A system of scalars with units

    v0.9.0 #system-units #type-system #scalar #build #catch #unit-system

  69. number-types

    A typenum clone I made for fun with some positive changes but much fewer features

    v0.1.0 #numbers #type-system #typenum #fun #positive #recreation

  70. unit_types

    A unit-aware type system for Rust

    v0.1.0 #type-system #unit-aware #unit-conversion #length #prelude

  71. peano

    numbers implemented in Rust's type system. Consider using typenum instead for much faster type-level numbers.

    v1.0.2 #typenum #numbers #type-system #type-level #implemented-in #single-file

  72. osiris-typed

    A type context for a virtual machine

    v0.1.1 #type-system #processor #virtual-machine

  73. actress

    actor library for Rust

    v0.1.0 #actor #actor-system #message #spawn #communicate #type-system #side-channel

  74. count-to-non-zero

    Extends Rust’s Iterator trait to include a count_to_non_zero method, returning an Option<NonZeroUsize> for a more expressive and type-safe way of counting elements. This crate provides…

    v0.3.0 #non-zero-usize #counting #element #iterator #type-system #non-empty #extension-traits #type-safe #expressive #readability

  75. styc

    Typesystem definition SDK

    v0.1.0 #type-system #shape #symbols #scalar #structures #128-bit #single-value #homogeneous #con #key-set

  76. rsq

    A native rust interface for q/kdb+

    v0.1.1 #kdb #native #k-obj #type-system #interface #serialization #deserialize #uncompressed

  77. bobascript

    a nice, cold, refreshing scripting language built in Rust

    v0.1.4 #scripting-language #cold #built #nice #refreshing #type-system

  78. pen-ffi-macro

    FFI macro library for Pen programming language

    v0.5.0 #pen #functional-programming #wasm #go #macro #concurrency #macro-programming #type-system #statically-typed #context-switch

  79. conum

    big numbers, specified by arbitrary digit widths

    v0.1.0 #digits #numbers #big #width #type-system #cobol

  80. constraint

    Easly create types with the guarantees you need

    v0.1.0 #constraints #guarantees #create #easly #non-empty #error-prone #type-system #validation-error #leads

  81. seximal

    (base6) equivalent of Rust's type system

    v0.1.5 #math #type-system #base6 #decimal #user-input #string-representation

  82. mfem-sys

    Rust bindings to MFEM

    v0.2.0 140 #cpp-bindings #constant #low-level #encode #file #type-system #type-safe #foreign-function #heavy

  83. atomic-types

    Adding explicit type system support for atomic counterparts to primitive types

    v0.1.0 #type-system #atomic #explicit #counterpart #container

  84. intel82599_hal

    An intralingual Hardware Abstraction Layer for the 10 GbE Intel 82599 NIC

    v0.1.0 #hal #bit-flags #intel #descriptor #reserved #nic #memory-region #type-system #memory-map

  85. type-flow-proc-macros

    The procedural macros that are used to make the declarative macros work

    v0.1.3 140 #proc-macro #meta-programming #type-system #codegen

  86. rustyq

    A ZeroMQ-compatible library, with an API that takes advantage of Rust's strong type system

    v0.6.0 #api #type-system #strong #memory-safe #zeromq

  87. lyte

    Rust-like typesystem created for the Lumina project

    v0.1.0 #type-system #lumina #created #rust-like

  88. simpl_actor_macros

    tokio actors macros

    v0.2.7 550 #actor #mpsc #simpl-actor #macro #macro-attributes #type-system #message-processing #life-cycle #actor-based

  89. solana_libra_vm

    Libra vm

    v0.0.1-sol5 #blockchain #file-format #libra #bytecode #on-chain #type-system #deserialize #module-define #printing #proptest

  90. ego_types

    ego's base type system

    v0.2.4 600 #ego #type-system #base

  91. bobascript-parser

    A parser for the scripting language BobaScript

    v0.1.4 #scripting-language #bobascript #built #cold #nice #type-system #server-side #web-apps #typescript #interpreter

  92. openai-func-enums-macros

    A companion crate for async-openai to ease the composition of function calls by leveraging Rust's type system and enums

    v0.4.0 490 #openai #type-system #function-call #proc-macro #async-openai #openai-func-enums #chat-completion #serialization #embedding #macro-traits

  93. claudius-derive

    derives JsonSchema

    v0.2.0 #sdk #json-schema #anthropic #chat #real-time-streaming #chat-completion #claude #authentication #type-system

  94. restless-core

    Core traits for restless, a crate which allows you to express HTTP requests using the Rust trait system

    v0.1.0 #rest #helper-traits #express #type-system #api-client

  95. openai-func-embeddings

    A companion crate for async-openai to ease the composition of function calls by leveraging Rust's type system and enums

    v0.4.0 #async-openai #composition #type-system #function-call #ease

  96. typed-arrow-unified

    Unified facade (static/dynamic) built on typed-arrow + typed-arrow-dyn

    v0.0.1 330 #arrow-schema #typed-arrow #compile-time #builder #dynamic #facade #type-system

  97. ethane-types

    The type system of ethane with minimal dependencies

    v1.0.2 #ethereum #type-system #simple #web3

  98. typed-arrow-derive

    Proc-macro derive for typed-arrow compile-time schema

    v0.4.0 440 #arrow-schema #derive #proc-macro #record #compile #type-system #dynamic-dispatch #datatype #arrow-array #strong-typing

  99. typesafe_builder_derive

    A procedural macro to generate type-safe builder patterns for Rust structs

    v1.6.0 380 #builder-pattern #type-system #proc-macro #type-safe #required #optional-fields #necessity

  100. typed-arrow-dyn

    Dynamic Arrow facade for typed-arrow (runtime schema/builders)

    v0.0.1 380 #arrow-schema #typed-arrow #compile-time #run-time #builder #facade #datatype #type-system