Curated list of project-based tutorials
☆10Aug 3, 2021Updated 4 years ago
Alternatives and similar repositories for project-based-learning
Users that are interested in project-based-learning are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A curated list of research in machine learning system. I also summarize some papers if I think they are really interesting.☆10Nov 6, 2021Updated 4 years ago
- A model-based API Fuzzer for SMT Solvers.☆16Updated this week
- Orange's一个操作系统的实现(随书光盘)☆19Jun 30, 2020Updated 5 years ago
- MIT 6.S081 2021 FALL配套实验的代码及笔记（已完结）☆53Aug 14, 2022Updated 3 years ago
- ☆18Sep 23, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Distributed SMT Solving Based on Dynamic Variable-level Partitioning☆18Aug 21, 2024Updated last year
- ☆21Jun 17, 2022Updated 3 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 4 years ago
- Use AWS to stream and analyze the sentiment of live tweets from Twitter based on a certain keyword.☆11Aug 18, 2021Updated 4 years ago
- 哈尔滨工业大学（深圳）2021年计算机系体结构实验☆14Mar 14, 2022Updated 4 years ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆22May 6, 2021Updated 5 years ago
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Oct 24, 2009Updated 16 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- 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.
- Moved to Codeberg☆10Jan 10, 2026Updated 4 months ago
- Mutil-Operating Syste with RT-Thread☆20Dec 4, 2021Updated 4 years ago
- Experiments with syntax and symbols☆15Mar 5, 2019Updated 7 years ago
- Metamath logic game☆10Apr 21, 2026Updated last month
- This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.☆10Dec 27, 2023Updated 2 years ago
- An abstract tree data-structure to represent windows as leaf nodes.☆12Dec 25, 2022Updated 3 years ago
- CS 70 - Discrete Mathematics and Probability Theory - UC Berkeley - Fall 2017☆12Jan 17, 2018Updated 8 years ago
- Материалы к серии докладов о советской компиляторной школе☆12Aug 8, 2024Updated last year
- an alternative approach to pattern matching☆13Jul 18, 2022Updated 3 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.
- Hopefully a lexer-generator that doesn't fucking suck☆10Dec 12, 2022Updated 3 years ago
- Scheme (R6RS subset) interpreter written in OCaml☆17Jun 30, 2020Updated 5 years ago
- Solutions to the Incredible Proof Machine http://incredible.pm/☆10Apr 21, 2020Updated 6 years ago
- Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using …☆13Feb 20, 2024Updated 2 years ago
- 🧠算法竞赛、数据结构的课件、论文、书籍、OJ网站、习题大全，资料分享。Algorithm all in One！学习面试必备！持续更新👀☆14May 23, 2020Updated 6 years ago
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago
- 清华大学2021操作系统实验代码☆16Jun 5, 2021Updated 4 years ago
- ☆13May 1, 2022Updated 4 years ago
- ☆10Aug 20, 2024Updated last year
- 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.
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- Original Ruby 2.0 parser ported to pure JavaScript, produces AST☆16Jun 26, 2024Updated last year
- 《计算机设计与实践》测试框架☆17Jun 28, 2022Updated 3 years ago
- A portable Forth compiler☆12Nov 24, 2024Updated last year
- ☆16Apr 19, 2022Updated 4 years ago
- A Metamod:Source plugin that adds a JavaScript runtime for plugins☆11Aug 29, 2022Updated 3 years ago
- My solutions to the assignments I have undertaken for the CS106B (Programming Abstractions in C++) course, in Stanford University. (2017…☆29Dec 22, 2018Updated 7 years ago