crates.io "type-system" keyword
suffete 0.1.0 💰
A standalone PHP type system: representation, comparison, and type checking primitives for static...1 version - Latest release: 6 months ago - 19 downloads total - 14 stars on GitHub - 1 maintainer
buildlang 1.2.0 💰
BuildLang (buildc): an effects-oriented compiler with a verified C path, shader output, experimen...9 versions - Latest release: 3 months ago - 214 downloads total - 5 stars on GitHub - 1 maintainer
reddb-io-types 1.24.0
RedDB logical type system: the neutral keystone vocabulary — Value, DataType, SqlTypeName, TypeMo...18 versions - Latest release: 3 days ago - 1.15 thousand downloads total - 45 stars on GitHub - 1 maintainer
sequents 0.1.2
Multiplicative-additive linear System L with exponentials, embedded in Rust's type system2 versions - Latest release: 6 months ago - 35 downloads total - 1 maintainer
ryo-spec 0.2.0
Domain specification and type hierarchy system for ryo2 versions - Latest release: 3 months ago - 211 downloads total - 0 stars on GitHub - 1 maintainer
noether-scheduler 0.8.2
Cron-based composition scheduler — runs Noether Lagrange graphs on a schedule, fires webhooks on ...9 versions - Latest release: 6 months ago - 145 downloads total - 1 stars on GitHub - 1 maintainer
noether-core 0.8.2
Noether core: type system, effects, content-addressed stage schema, Ed25519 signing, stdlib13 versions - Latest release: 6 months ago - 544 downloads total - 1 stars on GitHub - 1 maintainer
noether-cli 0.8.2
Noether CLI: ACLI-compliant command-line interface for stage management, composition graph execut...10 versions - Latest release: 6 months ago - 162 downloads total - 1 stars on GitHub - 1 maintainer
noether-engine 0.8.2
Noether composition engine: Lagrange graph AST, type checker, planner, executor, semantic index, ...10 versions - Latest release: 6 months ago - 344 downloads total - 1 stars on GitHub - 1 maintainer
noether-store 0.8.2
Noether stage store: immutable content-addressed registry of stages with lifecycle management13 versions - Latest release: 6 months ago - 443 downloads total - 1 stars on GitHub - 1 maintainer
quantalang 1.0.2 💰
DEPRECATED - renamed to `buildlang`. Install with `cargo install buildlang` (binary: buildc).3 versions - Latest release: 4 months ago - 64 downloads total - 5 stars on GitHub - 1 maintainer
vexil-codegen-rust 0.5.0 💰
Rust code generation backend for the Vexil schema compiler10 versions - Latest release: 3 months ago - 314 downloads total - 5 stars on GitHub - 1 maintainer
vexil-codegen-go 0.5.0 💰
Go code generation backend for the Vexil schema compiler4 versions - Latest release: 3 months ago - 165 downloads total - 5 stars on GitHub - 1 maintainer
vexil-codegen-ts 0.5.0 💰
TypeScript code generation backend for the Vexil schema compiler6 versions - Latest release: 3 months ago - 227 downloads total - 5 stars on GitHub - 1 maintainer
vexilc 0.6.0 💰
The Vexil schema compiler CLI10 versions - Latest release: 3 months ago - 208 downloads total - 5 stars on GitHub - 1 maintainer
vexil-store 0.5.0 💰
Human-readable and binary file formats for Vexil schemas and data8 versions - Latest release: 3 months ago - 278 downloads total - 5 stars on GitHub - 1 maintainer
vexil-runtime 0.6.0 💰
Runtime support for Vexil generated code — bit-level I/O, Pack/Unpack traits, wire encoding primi...10 versions - Latest release: 3 months ago - 501 downloads total - 5 stars on GitHub - 1 maintainer
vexil-lang 0.5.0 💰
Compiler library for the Vexil schema definition language — lexer, parser, IR, and type checker10 versions - Latest release: 3 months ago - 688 downloads total - 5 stars on GitHub - 1 maintainer
vexil-codegen-py 0.5.0 💰
Python code generation backend for the Vexil schema compiler1 version - Latest release: 3 months ago - 41 downloads total - 5 stars on GitHub - 1 maintainer
capsec 0.2.2
Compile-time capability-based security for Rust12 versions - Latest release: 7 months ago - 323 downloads total - 16 stars on GitHub - 1 maintainer
origin-lang 0.2.0
Every value is origin, at a boundary, or contents. The compiler knows which.2 versions - Latest release: 7 months ago - 52 downloads total - 1 maintainer
origin-macros 0.2.0
Proc-macros for Origin: #[derive(BoundaryKind)] and #[boundary_check]2 versions - Latest release: 7 months ago - 119 downloads total - 0 stars on GitHub - 1 maintainer
capsec-core 0.1.3
Core capability types for compile-time capability-based security in Rust4 versions - Latest release: 7 months ago - 50 downloads total - 15 stars on GitHub - 1 maintainer
nodety 0.2.0
Easy to use library for node editor types, generics, inference and validation3 versions - Latest release: 5 months ago - 82 downloads total - 1 stars on GitHub - 1 maintainer
uor-foundation 0.4.7
UOR Foundation — typed Rust traits for the complete ontology. Import and implement.38 versions - Latest release: 5 months ago - 823 downloads total - 24 stars on GitHub - 1 maintainer
uor-foundation-sdk 0.5.2
Procedural-macro ergonomics for uor-foundation product, coproduct, and cartesian-product shape co...23 versions - Latest release: 5 months ago - 19.4 thousand downloads total - 24 stars on GitHub - 1 maintainer
typr-lsp 0.6.1
LSP server for TypR7 versions - Latest release: 16 days ago - 169 downloads total - 146 stars on GitHub - 1 maintainer
typr-mcp 0.6.1
MCP server exposing the TypR compiler's type checker to AI agents3 versions - Latest release: 16 days ago - 79 downloads total - 146 stars on GitHub - 1 maintainer
astrodyn_quantities 0.2.0
Phantom-tagged typed quantities (Position, Velocity, ...) for orbital dynamics4 versions - Latest release: 4 months ago - 985 downloads total - 2 stars on GitHub - 1 maintainer
semtype 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 19 downloads total - 1,674 stars on GitHub - 2 maintainers
antsi 0.0.0-reserved
A no-std mini-crate that provides support ANSI escape sequences1 version - Latest release: over 3 years ago - 1.69 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
deer-json 0.0.0-reserved
A backend-agnostic fail-slow deserialization framework1 version - Latest release: over 3 years ago - 1.62 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
hsimulation 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 27 downloads total - 1,674 stars on GitHub - 2 maintainers
petrinaut 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 22 downloads total - 1,674 stars on GitHub - 2 maintainers
hgres 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 21 downloads total - 1,674 stars on GitHub - 2 maintainers
harpc 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 22 downloads total - 1,674 stars on GitHub - 2 maintainers
hgraph 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 22 downloads total - 1,674 stars on GitHub - 2 maintainers
darwin-kperf-criterion 0.1.0
Criterion measurement plugin using Apple's hardware performance counters1 version - Latest release: 8 months ago - 46 downloads total - 1,674 stars on GitHub - 2 maintainers
problematic 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: about 1 month ago - 14 downloads total - 1,674 stars on GitHub - 2 maintainers
darwin-kperf-events 0.1.1
Apple Silicon PMU event definitions for darwin-kperf2 versions - Latest release: 4 months ago - 100 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
whassup 0.0.0-reserved
Ask what's up, get a status back1 version - Latest release: about 3 years ago - 1.52 thousand downloads total - 1,674 stars on GitHub - 1 maintainer
hashql 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 22 downloads total - 1,674 stars on GitHub - 2 maintainers
sarif 0.0.0-reserved
Representation of the SARIF specification in Rust1 version - Latest release: over 3 years ago - 1.56 thousand downloads total - 1,674 stars on GitHub - 1 maintainer
deer 0.0.0-reserved
A backend-agnostic fail-slow deserialization framework1 version - Latest release: over 3 years ago - 1.57 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
wassup 0.0.0-wrong-crate
Ask what's up, get a status back1 version - Latest release: about 3 years ago - 1.44 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
hindex 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 21 downloads total - 1,674 stars on GitHub - 2 maintainers
bigerror-error-stack 0.6.0-alpha
A context-aware error-handling library that supports arbitrary attached user data1 version - Latest release: about 1 year ago - 578 downloads total - 1,674 stars on GitHub - 1 maintainer
hcore 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 27 downloads total - 1,674 stars on GitHub - 2 maintainers
whazzup 0.0.0-wrong-crate
Ask what's up, get a status back1 version - Latest release: about 3 years ago - 1.57 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
Top 4.2% on crates.io
16 versions - Latest release: 4 months ago - 73 dependent packages - 181 dependent repositories - 5.22 million downloads total - 1,674 stars on GitHub - 2 maintainers
error-stack 0.8.0
A context-aware error-handling library that supports arbitrary attached user data16 versions - Latest release: 4 months ago - 73 dependent packages - 181 dependent repositories - 5.22 million downloads total - 1,674 stars on GitHub - 2 maintainers
whassap 0.0.0-wrong-crate
Ask what's up, get a status back1 version - Latest release: about 3 years ago - 1.48 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
hengine 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 20 downloads total - 1,674 stars on GitHub - 2 maintainers
darwin-kperf-sys 0.1.1
Raw FFI bindings to Apple's kperf and kperfdata frameworks2 versions - Latest release: 4 months ago - 100 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
blockprotocol 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 22 downloads total - 1,674 stars on GitHub - 2 maintainers
darwin-kperf 0.1.1
Safe Rust bindings for Apple's kperf/kpc hardware performance counters2 versions - Latest release: 4 months ago - 97.5 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
hash-ai 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 5 months ago - 22 downloads total - 1,674 stars on GitHub - 2 maintainers
deer-macros 0.0.0-reserved
A backend-agnostic fail-slow deserialization framework1 version - Latest release: over 3 years ago - 1.63 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
error-stack-macros 0.0.0-reserved
Macros for the `error-stack` crate1 version - Latest release: about 4 years ago - 1.59 thousand downloads total - 1,674 stars on GitHub - 2 maintainers
osiris-typed 0.1.1
A type context for a virtual machine.2 versions - Latest release: over 2 years ago - 1 dependent package - 2.99 thousand downloads total - 0 stars on asgard.trehinos.eu - 1 maintainer
ingot-sandbox 0.5.2
Derives an enforced boundary for an Ingot agent's tool servers from the artifact's own policy.2 versions - Latest release: 2 months ago - 32 downloads total - 2 stars on GitHub - 1 maintainer
sigil-oracle 0.3.0
Oracle - Language Server Protocol implementation for Sigil2 versions - Latest release: 9 months ago - 43 downloads total - 5 stars on GitHub - 1 maintainer
bronzite-types 0.2.1
🔮 Shared types for Bronzite compile-time reflection IPC protocol3 versions - Latest release: 11 months ago - 834 downloads total - 6 stars on GitHub - 1 maintainer
bronzite-macros 0.2.1
🔮 Proc-macros for Bronzite compile-time type reflection - inspect traits, fields, and methods at ...3 versions - Latest release: 11 months ago - 272 downloads total - 6 stars on GitHub - 1 maintainer
bronzite 0.2.1
🔮 Compile-time type reflection for Rust - inspect traits, fields, and methods from proc-macros wi...3 versions - Latest release: 11 months ago - 119 downloads total - 6 stars on GitHub - 1 maintainer
bronzite-daemon 0.2.1
🔮 Background daemon for Bronzite compile-time reflection - caches rustc compilation for fast type...3 versions - Latest release: 11 months ago - 117 downloads total - 6 stars on GitHub - 1 maintainer
bronzite-query 0.2.1
🔮 Rustc plugin for Bronzite compile-time reflection - extracts type information from Rust code3 versions - Latest release: 11 months ago - 115 downloads total - 6 stars on GitHub - 1 maintainer
bronzite-client 0.2.1
🔮 Client library for querying the Bronzite compile-time reflection daemon from proc-macros3 versions - Latest release: 11 months ago - 420 downloads total - 6 stars on GitHub - 1 maintainer
tensorlogic-ir 0.1.2 💰
Intermediate representation (IR) and AST types for TensorLogic7 versions - Latest release: about 2 months ago - 2.52 thousand downloads total - 51 stars on GitHub - 1 maintainer
oak-ocaml 0.0.11
OCaml functional programming language parser with support for modern OCaml features and type system.12 versions - Latest release: 7 months ago - 431 downloads total - 26 stars on GitHub - 1 maintainer
schemair 0.1.0
Rust implementation of the language-independent SchemaIR protocol1 version - Latest release: 13 days ago - 7 downloads total - 1 stars on GitHub - 1 maintainer
type-flow-macros 0.2.0
Macros to make pipelines that encode the order of operation execution in the type signature of th...6 versions - Latest release: about 1 year ago - 2.04 thousand downloads total - 1 maintainer
type-flow-proc-macros 0.2.0
The procedural macros that are used to make the declarative macros work.5 versions - Latest release: about 1 year ago - 2.03 thousand downloads total - 1 maintainer
sudoku-checker 0.1.1
A sudoku checker only using the type system2 versions - Latest release: over 1 year ago - 1.02 thousand downloads total - 0 stars on GitHub - 1 maintainer
pikelet 0.0.0
A friendly little systems language with first-class types.1 version - Latest release: about 8 years ago - 1.94 thousand downloads total - 621 stars on GitHub - 1 maintainer
lumen-provider-gemini 0.1.1
The AI-Native Programming Language1 version - Latest release: 8 months ago - 100 downloads total - 1 stars on GitHub - 1 maintainer
lumen-provider-json 0.1.1
The AI-Native Programming Language1 version - Latest release: 8 months ago - 74 downloads total - 1 stars on GitHub - 1 maintainer
lumen-provider-env 0.1.1
The AI-Native Programming Language1 version - Latest release: 8 months ago - 107 downloads total - 1 stars on GitHub - 1 maintainer
lumen-provider-http 0.1.1
The AI-Native Programming Language1 version - Latest release: 8 months ago - 72 downloads total - 1 stars on GitHub - 1 maintainer
lumen-provider-fs 0.1.1
The AI-Native Programming Language1 version - Latest release: 8 months ago - 105 downloads total - 1 stars on GitHub - 1 maintainer
typr 0.5.5
A typed superset of R - transpiler and type checker45 versions - Latest release: 4 months ago - 15.7 thousand downloads total - 145 stars on GitHub - 1 maintainer
typeql_lang
TypeQL Language for Rust1 version - Latest release: 2 months ago - 1 dependent package - 1.17 thousand downloads total - 254 stars on GitHub - 1 maintainer
vtid 0.1.3 💰
A Rust library for generating volatile type IDs4 versions - Latest release: almost 2 years ago - 3.4 thousand downloads total - 2 stars on GitHub - 1 maintainer
noeta-embed 0.0.2
Reserved for the Noeta programming language's embedding API. Noeta's Rust crates resolve by git f...2 versions - Latest release: 3 months ago - 33 downloads total - 1 stars on GitHub - 1 maintainer
noeta-ext-abi 0.8.2
The extension ABI for the Noeta programming language: the registration, marshalling and dispatch ...10 versions - Latest release: about 1 month ago - 338 downloads total - 1 stars on GitHub - 1 maintainer
tree-sitter-noeta 0.0.2
Reserved for the Noeta programming language's tree-sitter grammar. The grammar lives in the noeta...2 versions - Latest release: 3 months ago - 28 downloads total - 1 stars on GitHub - 1 maintainer
noeta 0.0.2
The Noeta programming language (.noe). Name reservation — the toolchain installs from noeta.dev, ...3 versions - Latest release: 3 months ago - 56 downloads total - 1 stars on GitHub - 1 maintainer
noeta-reactive-abi 0.8.2
The contract between Noeta's reactive engine and a foreign source node — the `ReactiveSource` cap...9 versions - Latest release: about 1 month ago - 221 downloads total - 1 stars on GitHub - 1 maintainer
zerodds-types 1.0.0-rc.6
OMG XTypes 1.3 type system: TypeIdentifier + TypeObject (Minimal/Complete) + Assignability + Dyna...6 versions - Latest release: 3 months ago - 3.01 thousand downloads total - 17 stars on GitHub - 1 maintainer
type-exercise-expr 0.1.1
Completed expression engine for the Type Exercise in Rust course4 versions - Latest release: about 1 month ago - 57 downloads total - 1,514 stars on GitHub - 1 maintainer
type-exercise-starter-expr 0.1.1
Learner-owned expression engine for the Type Exercise in Rust course3 versions - Latest release: about 1 month ago - 48 downloads total - 1,514 stars on GitHub - 1 maintainer
type-exercise-starter-core 0.1.1
Learner-owned core primitives for the Type Exercise in Rust course3 versions - Latest release: about 1 month ago - 53 downloads total - 1,514 stars on GitHub - 1 maintainer
type-exercise-starter-supplied-tests 0.1.1
Cumulative public tests for the Type Exercise in Rust starter3 versions - Latest release: about 1 month ago - 37 downloads total - 1,514 stars on GitHub - 1 maintainer
type-exercise-supplied-tests 0.1.1
Cumulative public tests for the Type Exercise in Rust reference implementation3 versions - Latest release: about 1 month ago - 37 downloads total - 1,514 stars on GitHub - 1 maintainer
type-exercise-core 0.1.1
Core array, scalar, and type primitives for the Type Exercise in Rust course3 versions - Latest release: about 1 month ago - 53 downloads total - 1,514 stars on GitHub - 1 maintainer
lift-core 0.4.8
LIFT compiler framework core: unified SSA intermediate representation (IR) for AI and quantum — t...12 versions - Latest release: about 2 months ago - 1.11 thousand downloads total - 7 stars on GitHub - 1 maintainer
typeql 3.13.4
TypeQL Language for Rust44 versions - Latest release: 26 days ago - 1 dependent package - 43.8 thousand downloads total - 254 stars on GitHub - 2 maintainers
nargo-type-check 0.0.0
Nargo type checker1 version - Latest release: 7 months ago - 23 downloads total - 0 stars on GitHub - 1 maintainer
type-sets 0.2.2
Sets implemented in the rust type-system12 versions - Latest release: about 1 month ago - 1 dependent package - 8.29 thousand downloads total - 3 stars on GitHub - 1 maintainer
drop_guard 0.3.0 💰
The drop_guard crate enables you to implement the Drop trait on any type. So you can run a closur...7 versions - Latest release: almost 5 years ago - 3 dependent packages - 8 dependent repositories - 652 thousand downloads total - 3 stars on GitHub - 1 maintainer
refl 0.2.1
Provides a `refl` encoding which you can use to provide a proof witness that one type is equivale...6 versions - Latest release: over 6 years ago - 2 dependent packages - 1 dependent repositories - 22.6 thousand downloads total - 71 stars on GitHub - 1 maintainer
Related Keywords
rust
90
compiler
40
programming-language
39
database
39
typescript
38
ai
37
graph
30
llm
30
hash
29
simulation
29
ai-agents
27
static-analysis
23
intermediate-representation
21
mcp
21
agent-framework
20
language
14
agent
13
virtual-machine
11
code-generation
10
schema
10
webassembly
10
deterministic
9
language-server
9
protocol
9
binary
8
interpreter
8
compile-time
8
no_std
8
serialization
8
bit-packing
8
codec
8
cross-language
8
golang
8
python
8
schema-language
8
wire-format
8
codegen
8
type-checker
7
generics
7
language-design
7
database-systems
6
vectorized-execution
6
type-erasure
6
tutorial
6
course
6
query-engine
6
gats
6
jit
6
expression-evaluation
6
reflection
6
wasm
6
proc-macro
6
composition
5
static-typing
5
openai
5
markdown
5
chatgpt
5
anthropic
5
pipeline
5
workflow
5
content-addressed
5
nix
5
stage-registry
5
verified-computing
5
error-handling
5
type
5
toolchain
5
macros
4
logic
4
inference
4
parser
4
error
4
types
4
introspection
4
kperf
4
macos
4
serde
4
ingot
3
r
3
statistics
3
arithmetic
3
scripting
3
arithmetic-parser
3
report
3
deserialize
3
errorstack
3
llvm
3
systems-programming
3
strongly-typed
3
reasoning
3
query-language
3
ontology
3
typedb
3
effects
3
typeql
3
type-level
3
query
3
polymorphism
3
polymorphic
3
noeta
2