A borrow checker for Julia
A 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
An implementation of a featherweight muse interpreter written in Rust.
🦀🔭 See Rust's power in action. Real-time visuals of memory, speed, and zero-cost abstractions. No GC. No compromise. ⚡️✨
A self-hosted low-level functional-style programming language 🌀
Bliss 4i is the 4th iteration of the bliss platform. Starting from 4i, bliss transforms from a simple runtime, to an ecosystem of compilers, package managers, standard libraries, and all the things expected from a language ecosystem
The effect row is the abstraction; the backend picks the mechanism. An affine-typed language compiling to verifiable typed WebAssembly and Deno.
Arimo is a self-hosting programming language for systems and apps. Features native binary compilation (no LLVM/GCC), hybrid memory management (Borrow Checker + GC + ARC + Manual), and bare-metal support.
Stage 0 bootstrap compiler for the Arimo programming language, written in Rust. Features a custom lexer, parser, typechecker, borrow checker, and native code generation.
Cell is a Container that Provides Interior Mutability, Allowing you to Mutate Data Even When you Only Have an Immutable Reference to the Container
Basic of Rust , Types, Enums, Patterns, Structs, Borrow Checking
A forward-looking programming language for restoring sanity
A cell library that decouples data from read-only and exclusive permissions to access the data
🚧 a rust-style borrow-checking clang-plugin for C, inspired by CORAL!
Introduction into rust based on rocket framework and basic ecosystem crates.
This is a basic Rust library for handling user authentication in your applications.
A programming language project aimed at learning and experimentation.
Add a description, image, and links to the borrow-checker topic page so that developers can more easily learn about it.
To associate your repository with the borrow-checker topic, visit your repo's landing page and select "manage topics."