Code that we write in class.
☆27Apr 23, 2021Updated 5 years ago
Alternatives and similar repositories for code
Users that are interested in code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 10 years ago
- Data for timing rustc☆17Jul 11, 2020Updated 6 years ago
- a game made with ggez for RustFest Zurich 2017☆13Sep 28, 2017Updated 8 years ago
- ☆20Aug 5, 2020Updated 6 years ago
- A lambda calculus parser, evaluator and repl☆12Oct 30, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lock-free elimination back-off stack☆12Jan 6, 2022Updated 4 years ago
- Automated terminal emulator benchmarks☆25Jun 22, 2026Updated last month
- Stream processing engine☆13Apr 7, 2021Updated 5 years ago
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 7 years ago
- Rust bindings for the Wolfram|Alpha web API☆11Nov 21, 2017Updated 8 years ago
- Rust library for working with Google Bigtable Data API☆23Dec 9, 2025Updated 8 months ago
- Bisects rust-lang/rust by pull request, downloading the built artifacts☆19Dec 1, 2018Updated 7 years ago
- An AVR emulator☆17Feb 13, 2021Updated 5 years ago
- easy setup cross-platform chroots☆12Jan 31, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Extended docker build tool.☆16Jun 12, 2023Updated 3 years ago
- Optimal partitioning of Variable-Byte codes for better compression and fast decoding.☆17Nov 10, 2021Updated 4 years ago
- A comparison between different integer set techniques☆15Apr 13, 2018Updated 8 years ago
- Rust Library for locating URLs in character streams☆21Jul 19, 2020Updated 6 years ago
- Greenspunning Rust's macro_rules!☆33Aug 21, 2018Updated 7 years ago
- Rust wrapper for Obliv-C☆11Feb 14, 2019Updated 7 years ago
- A library to work with CRDTs in rust☆16Dec 15, 2023Updated 2 years ago
- A simple AppleScript to toggle the iTerm2 Solarized color mode between light to dark.☆16Mar 25, 2014Updated 12 years ago
- A self-balancing robot coded in Rust☆17Feb 3, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Codes and notes for the book "C++ Concurrency in Action"☆16Nov 27, 2014Updated 11 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Dec 19, 2022Updated 3 years ago
- USENIX - Vault'19: BPF programming Tutorial "Performance Analysis in Linux Storage Stack with BPF"☆18Feb 26, 2019Updated 7 years ago
- ECMAScript for Racket☆20Dec 9, 2021Updated 4 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆35Mar 29, 2026Updated 4 months ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Sep 22, 2014Updated 11 years ago
- Fold your Python docstrings☆19Jan 20, 2018Updated 8 years ago
- My master's thesis, on the algebra of topological quantum computing☆20Feb 13, 2014Updated 12 years ago
- Firmware for nordic MCUs used in the Mitosis Keyboard☆13Dec 20, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A multicore microprocessor test harness for measuring interference☆14Apr 16, 2020Updated 6 years ago
- naïve blockchain in Rust☆10Nov 13, 2020Updated 5 years ago
- A unix domain sockets Rust library☆24Aug 10, 2024Updated last year
- A Patient-Oriented Prescription Programing Language☆20Jan 23, 2018Updated 8 years ago
- Experiments in `no_std` cooperative multitasking☆23Nov 19, 2018Updated 7 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 3 years ago
- Code for DNN feature map compression paper☆11Nov 21, 2018Updated 7 years ago