☆35May 27, 2020Updated 5 years ago
Alternatives and similar repositories for f19-assignments
Users that are interested in f19-assignments are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆26Dec 3, 2018Updated 7 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 7 months ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated last month
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- Lab assignments for 6.826☆18Oct 20, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- http://os.cs.tsinghua.edu.cn/research/FrontPage#A.2BZyx50WvVi74-☆17Jan 3, 2025Updated last year
- PostgreSQL Windows installer☆18Sep 14, 2022Updated 3 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 5 years ago
- ☆47Nov 20, 2024Updated last year
- Advanced Operating Systems project☆21Sep 19, 2025Updated 7 months ago
- Control theory in Haskell: Data structures, algorithms and adapters☆79Jan 14, 2019Updated 7 years ago
- Connect other bots as pipes.☆11Nov 6, 2019Updated 6 years ago
- Introduction to CUDA programming and debugging☆17Oct 30, 2022Updated 3 years ago
- TTY interface for browser local usage of xterm.js.☆12Mar 15, 2024Updated 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.
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 2 months ago
- An emulation of RDMA(remote direct memory access) library☆13Jul 2, 2015Updated 10 years ago
- ☆14Jun 11, 2025Updated 10 months ago
- My Interview recording repo.☆11Mar 22, 2023Updated 3 years ago
- System-on-chip design for NOP in NSCSCC 2023.☆13Aug 21, 2023Updated 2 years ago
- ☆1,485Aug 8, 2025Updated 8 months ago
- 支持GPU全链路加速的全同态加密（FHE）框架☆21Apr 18, 2025Updated last year
- AI powered tool for Git commit message generator☆12Jul 29, 2025Updated 8 months ago
- LCOV tracefile parser/merger/filter in pure Rust.☆17Apr 10, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Coco/R for Java☆15Aug 14, 2021Updated 4 years ago
- RustTalk 是一档专注在 Rust 社区的程序员闲聊节目。微信公众号：RustTalk☆12Sep 14, 2025Updated 7 months ago
- Convert Typst equations into functions☆31Nov 18, 2025Updated 5 months ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆20Feb 13, 2026Updated 2 months ago
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 5 months ago
- Python simulator to test implementation of the RMMS paper results.☆55Apr 27, 2022Updated 3 years ago
- ☆13Dec 9, 2024Updated last year
- Jupyter to Typst converter with template support☆19Jun 27, 2025Updated 9 months ago
- A pacman wrapper that helps you watch important package updates.☆25Nov 22, 2025Updated 4 months 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.
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- Web app for exploring LSTMs.☆17Jun 1, 2017Updated 8 years ago
- Демо-проект про подсчёт распределения населения Минска☆13Oct 23, 2018Updated 7 years ago
- KAIST CS420: Compiler Design☆556Apr 3, 2025Updated last year
- POSIX Threads for embedded systems (PTE)☆19Jul 4, 2011Updated 14 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated last year