20 skills found
rust-lang / PoloniusDefines the Rust borrow checker.
alshdavid-public / BorrowScriptTypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.
Jaysmito101 / Rusty.hppRust-like Traits & A Borrow Checker and Memory Ownership System for C++20 (heavily inspired from Rust)
MilesCranmer / BorrowChecker.jlA borrow checker for Julia
danielhenrymantilla / Polonius The Crab.rsTools to feature more lenient Polonius-based borrow-checker patterns on stable Rust
ladroid / CppBorrowCheckerSimple C++ borrow checker
jeremyBanks / You Canyou shouldn't
joris97jansen / BorrowserBuilt on-top of the Borrow Checker, not borrowed from Chromium.
cppdev123 / Borrow CheckerDifferent approach for implementing a borrow checker
durka / UnborrowRust macro crate used for fighting the borrow checker
DanielStebbins / C Borrow CheckerA partial borrow-checker (a form of static analysis) for C programs. Based on Rust and written in Rust.
zyedidia / TransmuteNever fight the borrow checker again!
anglesideangle / Sascwip scoped structured concurrency enforced by the borrow checker
kmf-lab / Learn Borrow CheckerNo description available
sharrap / AffinecheckerA proof-of-concept rust-like affine/borrow checker pluggable type system for Java.
TheWizardTower / Rust Borrow Checker TalkI gave a talk about how Rust's borrow checker was formally verified at LambdaConf 2019. These are the slides and source code for said talk. :)
itcodehery / Borcom Tool ProjectAttempt to bring the Borrow Checker to C
39bytes / Borrow LambdaBorrow checker for a simply-typed lambda calculus
parsiya / Fearless ConcurrencyFight the Borrow Checker. Don't succumb to its tyranny.
Imposter-zx / DimA from-scratch statically-compiled programming language with Python-like syntax, built in Python. Features a production lexer with INDENT/DEDENT injection, Pratt expression parser, span-annotated AST, Hindley-Milner type inference, SSA/CFG mid-level IR, Polonius-inspired borrow checker, and first-class prompt and actor language constructs for AI an
