Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
☆35Oct 20, 2025Updated last year
Alternatives and similar repositories for course_safepl
Users that are interested in course_safepl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 复旦大学 编译原理 课程主页☆82Jun 12, 2026Updated 4 months ago
- A static analysis tool for Rust programs. The guardrail for AI-generated Rust code.☆226Updated this week
- convert GitHub issues to a website☆29Oct 2, 2026Updated 3 weeks ago
- ☆11Updated this week
- Go code samples and exercises for the book 'Explore Go: Cryptography'☆18Feb 8, 2024Updated 2 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.
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Computer Graphics Course (COMP130018.01, 2023 Spring) Project of Fudan University.☆14Aug 4, 2023Updated 3 years ago
- Lox language interpreter written in Rust☆20Oct 24, 2024Updated 2 years ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 4 years ago
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 3 years ago
- Convert regex(es) to dfa.☆14Apr 30, 2021Updated 5 years ago
- FA4-based Relative Attention Kernel developed by TML and Colfax☆18Sep 11, 2026Updated last month
- A Rust style C++ library.☆19Sep 3, 2022Updated 4 years ago
- Turn PostgreSQL into your search engine in a Pythonic way.☆52Aug 29, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A well-documented minimal dependently-typed language for my friend Lyzh☆26Feb 7, 2025Updated last year
- CPU + xv6 + compiler☆18Feb 7, 2018Updated 8 years ago
- ☆11May 13, 2025Updated last year
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- The cold linker☆73Oct 22, 2026Updated last week
- A Postgres extension that rewrites strings to 💩☆21May 14, 2023Updated 3 years ago
- A Symmetric Multiprocessing OS Kernel over RISC-V☆32Jun 3, 2022Updated 4 years ago
- 《操作系统导论》参考资料☆15Jan 3, 2020Updated 6 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years 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.
- [NSDI'26] PolyRL is a reinforcement learning framework for LLM that harvest spot instances on the cloud to reduce cost.☆19Mar 30, 2026Updated 7 months ago
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Apr 1, 2026Updated 6 months ago
- Repository for the COLM 2025 paper SpecDec++: Boosting Speculative Decoding via Adaptive Candidate Lengths☆19Jul 10, 2025Updated last year
- a compiler for CSC-Compiler-2022☆13Aug 22, 2022Updated 4 years ago
- ☆39Oct 23, 2021Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- Newlib built with Clang for custom OS☆10Apr 30, 2018Updated 8 years ago
- Workflow Defined Engine☆25Nov 4, 2025Updated 11 months ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- AI Agents on 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.
- ☆12Apr 15, 2023Updated 3 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Sep 10, 2026Updated last month
- ☆15May 28, 2025Updated last year
- Type Checking in Lean 4☆41Mar 22, 2026Updated 7 months ago
- Code repository for the SOSP'25 paper DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism.☆23Nov 28, 2025Updated 11 months ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated 3 weeks ago
- Deprecated☆37May 17, 2026Updated 5 months ago