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.☆11Nov 6, 2021Updated 4 years ago
- A model-based API Fuzzer for SMT Solvers.☆16Oct 14, 2025Updated 5 months ago
- ☆14Mar 17, 2026Updated last week
- Distributed SMT Solving Based on Dynamic Variable-level Partitioning☆18Aug 21, 2024Updated last year
- ☆21Jun 17, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Jun 13, 2021Updated 4 years ago
- Learning materials for Stanford Compiler course : CS143☆19Oct 19, 2021Updated 4 years ago
- 哈尔滨工业大学(深圳)2021年计算机系体结构实验☆14Mar 14, 2022Updated 4 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
- Linux kernel source tree☆20Mar 14, 2025Updated last year
- One notebook to learn it all - Algorithms from scratch☆15May 26, 2020Updated 5 years ago
- Enhances simple I18n backend so that it inflects translations using pattern interpolation☆32Jun 17, 2022Updated 3 years ago
- Mutil-Operating Syste with RT-Thread☆20Dec 4, 2021Updated 4 years ago
- Metamath logic game☆10Apr 16, 2025Updated 11 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- bfloat16 dtype for numpy☆20Sep 25, 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
- 🧠算法竞赛、数据结构的课件、论文、 书籍、OJ网站、习题大全,资料分享。Algorithm all in One!学习面试必备!持续更新👀☆14May 23, 2020Updated 5 years ago
- ☆43Mar 17, 2026Updated last week
- Data Science Study Notes + Projects☆21May 7, 2022Updated 3 years ago
- interdisciplinary numerical methods: half-semester "hub" course☆16Mar 17, 2026Updated last week
- ☆13May 1, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Original Ruby 2.0 parser ported to pure JavaScript, produces AST☆16Jun 26, 2024Updated last year
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- A portable Forth compiler☆12Nov 24, 2024Updated last year
- Interpreters from Kamin's PLIBA book, rewritten in Python 3☆20Jun 8, 2021Updated 4 years ago
- A Metamod:Source plugin that adds a JavaScript runtime for plugins☆11Aug 29, 2022Updated 3 years ago
- CS 294-112 @ UCB Deep RL☆30Mar 24, 2023Updated 3 years ago
- All lecture notes, slides and assignments from CS224n: Natural Language Processing with Deep Learning class by Stanford☆22Dec 23, 2021Updated 4 years ago
- Inspired by George Hotz☆12Oct 21, 2021Updated 4 years ago
- 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.
- HITsz LUG 周报☆21Jul 11, 2023Updated 2 years ago
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- Google Keep API with Ruby on Rails☆12Nov 3, 2021Updated 4 years ago
- 🎞 Implementation of several Branch Prediction algorithms and analysis on their effectiveness on real-world program traces.☆21Apr 10, 2021Updated 4 years ago
- 日常事务 LaTeX 懒人包☆35Sep 4, 2022Updated 3 years ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 4 months ago
- Summary of working through the exercises of the Little Schemer☆12Feb 7, 2020Updated 6 years ago