PKUFlyingPig/project-based-learning external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

PKUFlyingPig/project-based-learning

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/PKUFlyingPig/project-based-learning)

Close

PKUFlyingPig / project-based-learningView on GitHubMore

• External links
• Readme badge

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.

• murxla / murxla

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆16May 20, 2026Updated last month
• ali20480 / Convolutional_SNN_RadarGesture8GHz

  View on GitHub
  ☆12Nov 25, 2021Updated 4 years ago
• pulp-platform / llvm-project

  View on GitHub
  ☆15Jun 18, 2026Updated 2 weeks ago
• zhangasia / OrangeOS

  View on GitHub
  Orange's一个操作系统的实现(随书光盘)
  ☆19Jun 30, 2020Updated 6 years ago
• jlu-xiurui / MIT6.S081-2021-FALL

  View on GitHub
  MIT 6.S081 2021 FALL配套实验的代码及笔记（已完结）
  ☆52Aug 14, 2022Updated 3 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• shaowei-cai-group / AriParti

  View on GitHub
  Distributed SMT Solving Based on Dynamic Variable-level Partitioning
  ☆18Aug 21, 2024Updated last year
• ritmininglab / A-Dynamic-Meta-Learning-Model-for-Time-Sensitive-Cold-Start-Recommendations

  View on GitHub
  A novel dynamic recommendation model that focuses on users who have interactions in the past but turn relatively inactive recently
  ☆14Sep 16, 2022Updated 3 years ago
• muhav / hitsz-network-daemon

  View on GitHub
  哈工大深圳 校园网全自动登录
  ☆10Feb 7, 2023Updated 3 years ago
• PKUFlyingPig / CS143-compiler

  View on GitHub
  Learning materials for Stanford Compiler course : CS143
  ☆22Oct 19, 2021Updated 4 years ago
• smancke / docker-intro

  View on GitHub
  Some slides about docker
  ☆27Apr 12, 2018Updated 8 years ago
• Yikai-coder / HITSZ-CAL-2021

  View on GitHub
  哈尔滨工业大学（深圳）2021年计算机系体结构实验
  ☆14Mar 14, 2022Updated 4 years ago
• CVC4 / CVC4-archived

  View on GitHub
  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  ☆22May 6, 2021Updated 5 years ago
• pulp-platform / cvfpu

  View on GitHub
  Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.
  ☆22Jun 2, 2026Updated last month
• linux-kernel-labs-zh / linux-zh

  View on GitHub
  Linux kernel source tree
  ☆20Mar 14, 2025Updated last year
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• UberPyro / Prowl-Ideas-Pile

  View on GitHub
  Ideas, documents, and tutorial pile for the Prowl Language
  ☆12Aug 2, 2024Updated last year
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• RT-Thread / rtthread-pomegranate

  View on GitHub
  Mutil-Operating Syste with RT-Thread
  ☆20Dec 4, 2021Updated 4 years ago
• kleinesfilmroellchen / sof-language

  View on GitHub
  Moved to Codeberg
  ☆10Jan 10, 2026Updated 5 months ago
• Nikolaj-K / turing-complete-smart-contract

  View on GitHub
  An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.
  ☆14Aug 31, 2018Updated 7 years ago
• kai-qu / syntax

  View on GitHub
  Experiments with syntax and symbols
  ☆15Mar 5, 2019Updated 7 years ago
• nineties / planck-old

  View on GitHub
  This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.
  ☆10Dec 27, 2023Updated 2 years ago
• usirin / layout-tree

  View on GitHub
  An abstract tree data-structure to represent windows as leaf nodes.
  ☆12Dec 25, 2022Updated 3 years ago
• noarsark / CS70

  View on GitHub
  CS 70 - Discrete Mathematics and Probability Theory - UC Berkeley - Fall 2017
  ☆12Jan 17, 2018Updated 8 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• true-grue / soviet_compilers

  View on GitHub
  Материалы к серии докладов о советской компиляторной школе
  ☆12Aug 8, 2024Updated last year
• madvorak / grammars

  View on GitHub
  Formal grammars in Lean 3
  ☆10Aug 14, 2023Updated 2 years ago
• codehag / pattern-matching-epic

  View on GitHub
  an alternative approach to pattern matching
  ☆13Jul 18, 2022Updated 3 years ago
• jin / scheme.ml

  View on GitHub
  Scheme (R6RS subset) interpreter written in OCaml
  ☆17Jun 30, 2020Updated 6 years ago
• ArtemBaskal / model-based-testing-calculator

  View on GitHub
  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
• zhoulaifu / xsat

  View on GitHub
  A Fast Floating-Point Satisfiability Solver
  ☆31Jul 26, 2025Updated 11 months ago
• aqin1 / OI_Sharing

  View on GitHub
  🧠算法竞赛、数据结构的课件、论文、书籍、OJ网站、习题大全，资料分享。Algorithm all in One！学习面试必备！持续更新👀
  ☆14May 23, 2020Updated 6 years ago
• BillHallahan / G2

  View on GitHub
  ☆44Updated this week
• codebox / regex_parser

  View on GitHub
  A regular expression parser written in JavaScript
  ☆10Feb 24, 2021Updated 5 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• strictly-lang / compiler

  View on GitHub
  strictly is a declarative programming language for interactive web-components
  ☆10Dec 2, 2023Updated 2 years ago
• FztTony / ucore2021

  View on GitHub
  清华大学2021操作系统实验代码
  ☆16Jun 5, 2021Updated 5 years ago
• CH3CHOHCH3 / riscv-decoder

  View on GitHub
  ☆13May 1, 2022Updated 4 years ago
• snoglobe / language_garden

  View on GitHub
  ☆10Aug 20, 2024Updated last year
• shriram / porpoise

  View on GitHub
  use an LLM to translate purpose-statements into code to evaluate their quality
  ☆11Apr 3, 2024Updated 2 years ago
• HITSZ-CDP / cdp-tests

  View on GitHub
  《计算机设计与实践》测试框架
  ☆17Jun 28, 2022Updated 4 years ago
• Luka-O / polya-enumeration-theorem

  View on GitHub
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Jun 6, 2025Updated last year