Developer Tools●●Solid
Compile-time model-id validation with declared capability
Compile-time model capability validation beats runtime errors every time.
Big BrainNiche Gem
yujonglee
621mo ago
Back to browse
GitHub Repository
SNARL SHACL validator written in SLOP
1 starsC
Snarl – Fast Shacl Validator
by jcadam·Jun 28, 2026·2 points·0 comments
AI Analysis
●●SolidNiche GemBig Brain
W3C-conformant SHACL validator beating pySHACL and Rudof on benchmarks.
Strengths
- •Passes all 98 W3C SHACL Core test cases with zero failures.
- •SLOP-to-C compilation produces zero-dependency static library for embedding.
- •Rust bindings via FFI enable integration without SLOP toolchain.
Weaknesses
- •No SHACL-SPARQL support limits validation to Core constraints only.
- •Extremely niche audience — RDF/semantic web adoption remains limited.
Category
Target Audience
Semantic web developers, RDF engineers
Similar To
pySHACL · Rudof · TopBraid SHACL
Post Description
SNARL: A SHACL Core validator written in SLOP. Compiles to C.
I created a rust crate for this as well using FFI, as I'm integrating this into a larger Rust project.
Similar Projects
Developer Tools●●Solid
Topaz – A small application language that compiles through Rust
Transpiles to Rust for native binaries without the borrow checker headache.
WizardryBig Brain
yo_tafo
5110d ago
Developer Tools●●Solid
Loom: A Compiler for Agentic Workflows (Go, Python, Rust)
Compile-time validation catches broken agent transitions before runtime.
Big BrainZero to One
thecartine
113mo ago
Developer Tools●●Solid
Sasso – pure-Rust SCSS compiler, byte-exact to current dart-sass
Targets current dart-sass 1.101 while grass is stuck on 1.54.3 from 2022.
Big BrainNiche Gem
linyiru
2022h ago
Developer Tools●●●Banger
Simple attributes for spec-driven agentic workflows (C#, Rust)
Compile-time Gherkin validation catches spec drift before tests even run.
Big BrainNiche Gem
dcdgo
2022d ago
Security●Mid
The Janitor – A 58MB Rust static analyzer to block AI-generated PR slop
Memory-mapped zero-copy scanning is clever, but 'block AI slop' is marketing over substance.
Big BrainBold Bet
GhrammR
323mo ago