larsbergstrom / papersLinks
Research papers
☆15Updated 9 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- Miscellaneous Collections☆64Updated 10 years ago
- ☆29Updated 7 years ago
- A lightweight Datalog engine in Rust☆57Updated 3 weeks ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆41Updated 11 years ago
- No longer maintained☆38Updated 7 years ago
- Callgraphs for Rust programs☆32Updated 9 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- JS affine☆66Updated 4 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- ☆53Updated last year
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Implements a Rust ordered map as a BurstTrie.☆30Updated 8 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- This repo is now stale; all changes have been integrated into upstream LLVM. (Was: A proof of concept implementation of proposed support…☆27Updated 10 years ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Updated 6 years ago
- Parsell: an LL(1) parser combinator library for Rust☆74Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Adapton Lab, written in Rust.☆15Updated 5 years ago
- A parser-combinator library for Rust☆45Updated 9 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 4 years ago
- ☆27Updated 10 years ago
- A VM-based runtime environment for functional programming languages☆47Updated 8 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 4 years ago
- ☆23Updated 6 years ago
- Fungi: Typed incremental computation with names☆68Updated 5 years ago
- [DEPRECATED] see:☆81Updated 8 years ago