High level overview of Rust
☆19Oct 13, 2021Updated 5 years ago
Alternatives and similar repositories for lecture1
Users that are interested in lecture1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- ☆11Dec 14, 2023Updated 2 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆13Dec 5, 2022Updated 3 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- ☆12Dec 17, 2023Updated 2 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.
- Lambda function to handle Bitbucket webhook payloads, extract relevant information and send notifications to Microsoft Teams☆16Sep 4, 2023Updated 3 years ago
- ☆14Feb 22, 2020Updated 6 years ago
- [JJIT2018] Official repository for "Braille to Text Translation for Bengali Language: A Geometric Approach"☆11Nov 6, 2025Updated 11 months ago
- ACS L50 course repository☆13Sep 10, 2026Updated last month
- Scala Mison implementation☆15Nov 16, 2018Updated 7 years ago
- Code for Method Dispatch article☆13Feb 11, 2015Updated 11 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆21Mar 3, 2022Updated 4 years ago
- Code for "Building an Efficient Key-Value Store in a Flexible Address Space" (EuroSys '22)☆24Mar 17, 2025Updated last year
- Lab assignments for the Agile Hardware Design course☆19Nov 14, 2025Updated 11 months 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.
- Programming labs for 6.S060 (Foundations of Computer Security).☆15Nov 19, 2021Updated 4 years ago
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆16Jun 29, 2022Updated 4 years ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆20Aug 28, 2024Updated 2 years ago
- verilog modules☆17May 4, 2020Updated 6 years ago
- ☆13Jan 18, 2025Updated last year
- ☆21Updated this week
- MV-RLU: Scaling Read-Log-Update with Multi-Versioning☆15Nov 8, 2021Updated 4 years ago
- ☆15Mar 4, 2015Updated 11 years ago
- ☆18Jan 23, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple but extensible implementation of QuickCheck for Python 2.7 and Python 3 that works well with Pytest.☆18Jun 17, 2013Updated 13 years ago
- A scala library for parsing mathemitical expressions with support for parentheses and variables.☆12Apr 23, 2020Updated 6 years ago
- 《深入理解文件系统原理和实践》pdf, ISBN: 978-7-89381-214-9☆29May 6, 2024Updated 2 years ago
- ☆20Jul 1, 2020Updated 6 years ago
- A Rust user-space file system [WIP]☆29Jul 30, 2021Updated 5 years ago
- Free GRE Practice Environment (awa-analytical-essay-writing-ets-issue-argument-pool-calculator-gre-exercise)☆14Sep 30, 2022Updated 4 years ago
- Artifact for PPoPP 2018 paper "Making Pull-Based Graph Processing Performant"☆23Apr 23, 2020Updated 6 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 4 years ago
- ☆15Jan 4, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆19Feb 22, 2025Updated last year
- ☆26Dec 4, 2020Updated 5 years ago
- ☆31Sep 9, 2017Updated 9 years ago
- An Opinionated Formatter for Verus☆22Oct 1, 2026Updated 2 weeks ago
- Raft implementation in Rust☆26Jan 8, 2015Updated 11 years ago
- AI-assisted verification of Dafny Programs☆21Nov 9, 2025Updated 11 months ago
- SIMD-X: Programming and Processing of Graph Algorithms on GPUs [USENIX ATC '19]☆23Jun 14, 2020Updated 6 years ago