thaliaarchi / notesLinks
A notebook on compilers, programming languages, and other topics.
☆20Updated 10 months ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- Scope Graph Implementation in Rust☆28Updated last year
- Session Type EDSL for Rust☆103Updated 3 years ago
- Experimental type level programming in Rust☆41Updated 4 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆43Updated this week
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- Liquid Types implementation for Rust☆30Updated 3 years ago
- Polymorphic guarded λ-calculus☆23Updated 6 months ago
- A library for deadlock-free session-typed communication in Rust.☆48Updated 4 years ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- Verify naive = datafrog-opt, in rust/polonius☆15Updated 7 months ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆284Updated 2 weeks ago
- experimental datalog rules for a next gen polonius☆19Updated 3 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 7 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Updated 6 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 5 years ago
- Easy SMT solver interaction☆34Updated 6 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆103Updated this week
- The Pulse separation logic DSL for F*☆28Updated this week
- Why can't a tree be called Pluplusch?☆28Updated 9 months ago
- Macros have types!☆134Updated 2 years ago
- A functional scripting language.☆17Updated last year
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated 3 weeks ago
- Wasm SpecTec specification tools☆82Updated last week
- Session types for asynchronous communication between multiple parties.☆41Updated last year
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆23Updated 3 weeks ago
- We have Crater At Home☆37Updated last year
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆62Updated 6 months ago
- An experimental optimizing compiler for Bril using egglog☆83Updated last week