GitHub topics: borrow-checker
MilesCranmer/BorrowChecker.jl
A borrow checker for Julia
Language: Julia - Size: 839 KB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 106 - Forks: 0
jeremyBanks/you-can
you shouldn't
Language: Rust - Size: 91.8 KB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 70 - Forks: 1
aabbtree77/ownership
Testing the borrow checker.
Language: Rust - Size: 1.77 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
ladroid/CppBorrowChecker
Simple C++ borrow checker
Language: C++ - Size: 6.84 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 67 - Forks: 1
San7o/cchecker
Borrow checker in C++
Language: C++ - Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
anoojpatel/metaxu
A self-hosted low-level functional-style programming language 🌀
Language: Python - Size: 567 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0
psidh/RustRover
Basic of Rust , Types, Enums, Patterns, Structs, Borrow Checking
Language: Rust - Size: 817 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
kodokoto/featherweight-muse
An implementation of a featherweight muse interpreter written in Rust.
Language: Rust - Size: 648 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
pranav-bot/rustauth
This is a basic Rust library for handling user authentication in your applications.
Language: Rust - Size: 6.84 KB - Last synced at: 15 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
mtumilowicz/rust-rocket-workshop
Introduction into rust based on rocket framework and basic ecosystem crates.
Language: Rust - Size: 402 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
khonsulabs/modalcell
A cell library that decouples data from read-only and exclusive permissions to access the data
Language: Rust - Size: 1.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
