crates.io "type-system" keyword
typr-mcp 0.5.12
MCP server exposing the TypR compiler's type checker to AI agents1 version - Latest release: 19 days ago - 38 downloads total - 145 stars on GitHub - 1 maintainer
typr-lsp 0.5.12
LSP server for TypR5 versions - Latest release: 19 days ago - 128 downloads total - 145 stars on GitHub - 1 maintainer
darwin-kperf 0.1.1
Safe Rust bindings for Apple's kperf/kpc hardware performance counters2 versions - Latest release: 3 months ago - 91.8 thousand downloads total - 1,665 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,665 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,665 stars on GitHub - 1 maintainer
darwin-kperf-events 0.1.1
Apple Silicon PMU event definitions for darwin-kperf2 versions - Latest release: 3 months ago - 91.8 thousand downloads total - 1,665 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,665 stars on GitHub - 1 maintainer
Top 4.2% on crates.io
16 versions - Latest release: 3 months ago - 73 dependent packages - 181 dependent repositories - 4.86 million downloads total - 1,665 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: 3 months ago - 73 dependent packages - 181 dependent repositories - 4.86 million downloads total - 1,665 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,665 stars on GitHub - 2 maintainers
deer 0.0.0-reserved
A backend-agnostic fail-slow deserialization framework1 version - Latest release: over 3 years ago - 1.56 thousand downloads total - 1,665 stars on GitHub - 2 maintainers
hcore 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 22 downloads total - 1,665 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,665 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,665 stars on GitHub - 2 maintainers
hash-ai 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 22 downloads total - 1,665 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,665 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,665 stars on GitHub - 2 maintainers
darwin-kperf-criterion 0.1.0
Criterion measurement plugin using Apple's hardware performance counters1 version - Latest release: 7 months ago - 45 downloads total - 1,665 stars on GitHub - 2 maintainers
hengine 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 20 downloads total - 1,665 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,665 stars on GitHub - 1 maintainer
problematic 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 20 days ago - 14 downloads total - 1,665 stars on GitHub - 2 maintainers
harpc 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 22 downloads total - 1,665 stars on GitHub - 2 maintainers
petrinaut 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 22 downloads total - 1,665 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,665 stars on GitHub - 2 maintainers
hgres 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 21 downloads total - 1,665 stars on GitHub - 2 maintainers
hgraph 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 22 downloads total - 1,665 stars on GitHub - 2 maintainers
semtype 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 19 downloads total - 1,665 stars on GitHub - 2 maintainers
hashql 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 22 downloads total - 1,665 stars on GitHub - 2 maintainers
hsimulation 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 27 downloads total - 1,665 stars on GitHub - 2 maintainers
hindex 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 21 downloads total - 1,665 stars on GitHub - 2 maintainers
blockprotocol 0.0.0-reserved
Reserved for future use by HASH.1 version - Latest release: 4 months ago - 22 downloads total - 1,665 stars on GitHub - 2 maintainers
darwin-kperf-sys 0.1.1
Raw FFI bindings to Apple's kperf and kperfdata frameworks2 versions - Latest release: 3 months ago - 91.9 thousand downloads total - 1,665 stars on GitHub - 2 maintainers
bronzite-macros 0.2.1
🔮 Proc-macros for Bronzite compile-time type reflection - inspect traits, fields, and methods at ...3 versions - Latest release: 10 months ago - 215 downloads total - 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: 2 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: 21 days 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: 2 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: 2 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: 21 days ago - 221 downloads total - 1 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
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
zerodds-types 1.0.0-rc.6
OMG XTypes 1.3 type system: TypeIdentifier + TypeObject (Minimal/Complete) + Assignability + Dyna...6 versions - Latest release: 2 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: 24 days 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: 24 days 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: 24 days 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: 24 days 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: 24 days 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: 24 days ago - 53 downloads total - 1,514 stars on GitHub - 1 maintainer
reddb-io-types 1.23.2
RedDB logical type system: the neutral keystone vocabulary — Value, DataType, SqlTypeName, TypeMo...16 versions - Latest release: 2 months ago - 955 downloads total - 45 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 1 month ago - 1.11 thousand downloads total - 7 stars on GitHub - 1 maintainer
typeql 3.13.4
TypeQL Language for Rust44 versions - Latest release: 9 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: 6 months ago - 23 downloads total - 0 stars on GitHub - 1 maintainer
typeql_lang
TypeQL Language for Rust1 version - Latest release: about 2 months ago - 1 dependent package - 1.17 thousand downloads total - 254 stars on GitHub - 1 maintainer
type-sets 0.2.2
Sets implemented in the rust type-system12 versions - Latest release: 13 days ago - 1 dependent package - 8.29 thousand downloads total - 3 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 - 16 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
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
type-operators 0.3.5
A macro system for creating type operators in Rust and writing type-level logic.12 versions - Latest release: over 9 years ago - 1 dependent package - 22.4 thousand downloads total - 66 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: 10 months ago - 88 downloads total - 1 maintainer
lumen-provider-fs 0.1.1
The AI-Native Programming Language1 version - Latest release: 8 months ago - 105 downloads total - 0 stars on GitHub - 1 maintainer
fathom 0.0.0
A declarative binary data description language.1 version - Latest release: over 6 years ago - 2 dependent repositories - 1.74 thousand downloads total - 266 stars on GitHub - 1 maintainer
sigil-parser 0.3.0
Parser and native compiler for the Sigil programming language8 versions - Latest release: 9 months ago - 268 downloads total - 5 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 - 1 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
arithmetic-typing 0.3.0
Hindley-Milner type inference for arithmetic expressions.2 versions - Latest release: over 5 years ago - 1 dependent repositories - 2.98 thousand downloads total - 11 stars on GitHub - 1 maintainer
arithmetic-eval 0.3.0
Simple interpreter for arithmetic expressions.5 versions - Latest release: over 5 years ago - 1 dependent repositories - 7.73 thousand downloads total - 11 stars on GitHub - 1 maintainer
arithmetic-parser 0.3.0
Parser for arithmetic expressions with flexible literals and type annotations.5 versions - Latest release: over 5 years ago - 3 dependent packages - 2 dependent repositories - 14.2 thousand downloads total - 11 stars on GitHub - 1 maintainer
vexil-codegen-go 0.5.0 💰
Go code generation backend for the Vexil schema compiler4 versions - Latest release: about 2 months ago - 148 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: about 2 months ago - 297 downloads total - 5 stars on GitHub - 1 maintainer
vexilc 0.6.0 💰
The Vexil schema compiler CLI10 versions - Latest release: about 2 months ago - 208 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: about 2 months ago - 593 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: about 2 months ago - 446 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: about 2 months ago - 210 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: about 2 months ago - 261 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: about 2 months ago - 24 downloads total - 5 stars on GitHub - 1 maintainer
tensorlogic-ir 0.1.2 💰
Intermediate representation (IR) and AST types for TensorLogic7 versions - Latest release: about 1 month ago - 2.19 thousand downloads total - 49 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
ingot-diagnostics 0.9.0
Diagnostic model and terminal renderer for the Ingot compiler.6 versions - Latest release: about 1 month ago - 159 downloads total - 2 stars on GitHub - 1 maintainer
ingot-package 0.9.0
The Ingot package: checked Agent IR and its identity, as an OCI artifact.6 versions - Latest release: about 1 month ago - 98 downloads total - 2 stars on GitHub - 1 maintainer
ingot-backend-python 0.8.0
A second Agent IR backend: emits a self-contained Python 3 program.5 versions - Latest release: about 1 month ago - 78 downloads total - 2 stars on GitHub - 1 maintainer
ingot-lang-types 0.8.0
Type, effect and capability model shared by the Ingot compiler stages.5 versions - Latest release: about 1 month ago - 136 downloads total - 2 stars on GitHub - 1 maintainer
ingot-egress 0.8.0
Host-filtering egress proxy: bounds a contained tool server to the hosts its policy names.5 versions - Latest release: about 1 month ago - 81 downloads total - 2 stars on GitHub - 1 maintainer
ingot-studio 0.8.0
The local server and single page behind `ingot studio`: transport for reports the toolchain alrea...5 versions - Latest release: about 1 month ago - 79 downloads total - 2 stars on GitHub - 1 maintainer
ingot-ir 0.8.0
Agent IR: the canonical, target-neutral representation of a compiled Ingot agent.5 versions - Latest release: about 1 month ago - 142 downloads total - 2 stars on GitHub - 1 maintainer
ingot-source 0.8.0
Source file management, byte spans and line/column resolution for the Ingot compiler.5 versions - Latest release: about 1 month ago - 125 downloads total - 2 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: 10 months ago - 89 downloads total - 6 stars on GitHub - 1 maintainer
ingot-conformance 0.5.2
The Ingot conformance suite: the cases a backend must reproduce, embedded for a binary to carry.2 versions - Latest release: about 2 months ago - 33 downloads total - 2 stars on GitHub - 1 maintainer
ingot-supervisor 0.5.2
The channel between a contained Ingot run and the host that supervises it.2 versions - Latest release: about 2 months ago - 33 downloads total - 2 stars on GitHub - 1 maintainer
ingot-semantic 0.5.2
Name resolution, type checking and effect/policy analysis for Ingot.2 versions - Latest release: about 2 months ago - 41 downloads total - 2 stars on GitHub - 1 maintainer
ingot-parser 0.5.2
Recursive-descent parser with error recovery for the Ingot agent language.2 versions - Latest release: about 2 months ago - 38 downloads total - 2 stars on GitHub - 1 maintainer
ingot-cli 0.5.2
The `ingot` command-line compiler for the Ingot agent language.2 versions - Latest release: about 2 months ago - 28 downloads total - 2 stars on GitHub - 1 maintainer
ingot-language-service 0.5.2
Editor-facing analysis for Ingot: the diagnostics, hovers and symbols an editor shows, from the s...2 versions - Latest release: about 2 months ago - 35 downloads total - 2 stars on GitHub - 1 maintainer
ingot-syntax 0.5.2
Abstract syntax tree for the Ingot agent language.2 versions - Latest release: about 2 months ago - 44 downloads total - 2 stars on GitHub - 1 maintainer
ingot-lsp 0.5.2
Language Server Protocol server for the Ingot agent language.2 versions - Latest release: about 2 months ago - 27 downloads total - 2 stars on GitHub - 1 maintainer
ingot-runtime 0.5.2
Reference interpreter for the Ingot Agent IR: executes an agent and enforces its policy and budgets.2 versions - Latest release: about 2 months ago - 39 downloads total - 2 stars on GitHub - 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: about 2 months ago - 32 downloads total - 2 stars on GitHub - 1 maintainer
ingot-mcp 0.5.2
Model Context Protocol tool host for Ingot: serves an agent's declared tools from MCP servers ove...2 versions - Latest release: about 2 months ago - 34 downloads total - 2 stars on GitHub - 1 maintainer
ingot-lexer 0.5.2
Tokenizer for the Ingot agent language.2 versions - Latest release: about 2 months ago - 43 downloads total - 2 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
origin-macros 0.2.0
Proc-macros for Origin: #[derive(BoundaryKind)] and #[boundary_check]2 versions - Latest release: 6 months ago - 119 downloads total - 0 stars on GitHub - 1 maintainer
kailua_types 1.1.0
Type system for Kailua3 versions - Latest release: about 9 years ago - 2 dependent packages - 1 dependent repositories - 5.8 thousand downloads total - 170 stars on GitHub - 1 maintainer
Related Keywords
rust
90
compiler
41
programming-language
40
ai
39
database
39
typescript
37
llm
32
graph
30
simulation
29
hash
29
ai-agents
27
static-analysis
22
intermediate-representation
21
mcp
21
agent-framework
20
agent
15
language
13
virtual-machine
13
webassembly
12
interpreter
10
code-generation
9
language-server
9
deterministic
9
schema
9
golang
8
cross-language
8
codec
8
bit-packing
8
serialization
8
protocol
8
binary
8
python
8
schema-language
8
wire-format
8
no_std
8
language-design
8
codegen
8
compile-time
7
type-checker
7
anthropic
7
chatgpt
7
markdown
7
openai
7
static-typing
7
wasm
7
tutorial
6
type-erasure
6
vectorized-execution
6
query-engine
6
gats
6
expression-evaluation
6
generics
6
course
6
database-systems
6
proc-macro
6
reflection
6
jit
6
type
5
toolchain
5
error-handling
5
composition
5
pipeline
5
workflow
5
content-addressed
5
nix
5
stage-registry
5
verified-computing
5
macros
4
logic
4
macos
4
error
4
kperf
4
serde
4
parser
4
introspection
4
arithmetic-parser
3
scripting
3
arithmetic
3
inference
3
polymorphic
3
polymorphism
3
query
3
query-language
3
reasoning
3
strongly-typed
3
typedb
3
typeql
3
type-level
3
report
3
r
3
statistics
3
deserialize
3
errorstack
3
ingot
3
ontology
3
llvm
3
plugin
2
vscode-extension
2
boundary
2
semantic-web
2