A toy kernel in rust
☆14Dec 18, 2016Updated 9 years ago
Alternatives and similar repositories for rust-kernel
Users that are interested in rust-kernel are comparing it to the libraries listed below
Sorting:
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- Extensions for WebDriver is an enhancement to the powerful WebDriver API, with robust features that keep your browser automation running …☆26Oct 29, 2020Updated 5 years ago
- Start a conversation with an RNN-based Ronald Reagan!☆10Jun 18, 2017Updated 8 years ago
- NPCLib for CraftBukkit☆24Dec 17, 2013Updated 12 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- a node.js wrapper for docker machine☆10Sep 17, 2021Updated 4 years ago
- DeFi website.☆13Dec 3, 2022Updated 3 years ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.☆11Dec 1, 2019Updated 6 years ago
- A simple double ended queue datastructure☆23Aug 29, 2013Updated 12 years ago
- ☆12Aug 2, 2015Updated 10 years ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- Retrieving stuff from the web is unreliable. Airbud adds retries for production, and fixture support for test.☆17Feb 29, 2024Updated 2 years ago
- It is just like localStorage - but built on top of Cache API☆11Dec 28, 2015Updated 10 years ago
- ☆10May 10, 2021Updated 4 years ago
- ☆14Aug 5, 2019Updated 6 years ago
- Terraform is a tool for building, changing, and combining infrastructure safely and efficiently.☆10Aug 9, 2016Updated 9 years ago
- 个人网站go语言实现（使用gin框架）☆13Feb 20, 2019Updated 7 years ago
- Frontend for the Saber dapp.☆11Mar 25, 2024Updated last year
- ES6 spec-compliant Function.prototype.name sham.☆12Dec 20, 2024Updated last year
- Dumb downloader that scrapes the web☆11Sep 3, 2024Updated last year
- A toy browser written in C++.☆10Jan 9, 2021Updated 5 years ago
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- iOS Sheet effect on android with react native☆11Jul 31, 2024Updated last year
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- A short intro to Rust course, based loosely off the book.☆15Jan 29, 2026Updated last month
- Browser extension to show items from HN's /newest page on the front page.☆11Nov 14, 2016Updated 9 years ago
- go编译器编译过程,主要学习go语法分析,AST,SSA分析。以便更好的理解Go☆12Feb 5, 2022Updated 4 years ago
- Haskell Protocol Buffers☆12Jan 22, 2020Updated 6 years ago
- This plugin adds TypeScript support to `eslint-plugin-import`.☆14Jul 8, 2020Updated 5 years ago
- Monorepo and Heroku Pipeline with Review Apps☆11Jul 17, 2023Updated 2 years ago
- ☆18Sep 6, 2014Updated 11 years ago
- A port of the ForkJoinPool JSR-166 implementation used in Scala 2.11.x for usage in Scala 2.12☆11Dec 30, 2016Updated 9 years ago
- Tested nixpkgs pins that work with devenv☆24Updated this week
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- run multiple shell commands in parallel and coordinate their output☆31Jul 5, 2012Updated 13 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- Pure-Scala implementation of HOCON, suitable for cross-platform use☆10May 29, 2017Updated 8 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year