Corvidae-Coding-Projects repositories

11 repositories

Project-Peritus
Public
Rust
•
MIT License
•0•0•0•1•Updated Sep 1, 2026Sep 1, 2026
crosslink
Public
Rust
•
MIT License
•4•9•46•3•Updated Sep 1, 2026Sep 1, 2026
crucible
Public
Verus-first universal software bug-finding, triage, repair, and verification harness
rust static-analysis symbolic-execution
rust static-analysis symbolic-execution property-based-testing fuzzing program-repair software-testing formal-verification verus concurrency-testing
Rust
•
MIT License
•0•4•0•1•Updated Aug 31, 2026Aug 31, 2026
OpenClaudia
Public
Open Source Agentic Coding Harness
ai harness agentic-ai
ai harness agentic-ai agentic-ai-development agentic-coding
Rust
•
MIT License
•14•93•1•3•Updated Aug 31, 2026Aug 31, 2026
ferrotorch
Public
Rust
•
Apache License 2.0
•5•5•0•0•Updated Aug 31, 2026Aug 31, 2026
Thermite
Public
Agentic language built on rust
verification rust-lang formal-verification
verification rust-lang formal-verification lean4
Rust
•
MIT License
•2•53•16•4•Updated Aug 8, 2026Aug 8, 2026
Thermite-Microkernel
Public
Capability-oriented formally verified microkernel built with Thermite and Verus
Rust
•0•1•0•0•Updated Aug 1, 2026Aug 1, 2026
hdn-os-updates
Public
0•0•0•0•Updated Jul 30, 2026Jul 30, 2026
ferrolearn
Public
Rust
•
Apache License 2.0
•2•3•0•0•Updated Jun 26, 2026Jun 26, 2026
ferray
Public
A NumPy-equivalent scientific computing library for Rust. Correctly-rounded math, SIMD-accelerated operations.
Rust
•
Apache License 2.0
•2•5•0•0•Updated Jun 25, 2026Jun 25, 2026
ripsed
Public
Improved and oxidized version of sed
Rust
•
Apache License 2.0
•0•1•0•0•Updated Jun 10, 2026Jun 10, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

Corvidae Coding Projects

All

11 repositories

Project-Peritus

crosslink

crucible

OpenClaudia

ferrotorch

Thermite

Thermite-Microkernel

hdn-os-updates

ferrolearn

ferray

ripsed

Repositories list

11 repositories