Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
☆34Oct 20, 2025Updated 4 months ago
Alternatives and similar repositories for course_safepl
Users that are interested in course_safepl are comparing it to the libraries listed below
Sorting:
- Course Webpage of COMP130014 Compiler Principles and Techniques @ Fudan University☆74Updated this week
- a Lisp-like functional language with flexible suspension and resumption☆15Aug 17, 2025Updated 6 months ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆21Feb 13, 2026Updated 3 weeks ago
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆15Apr 19, 2022Updated 3 years ago
- This is a static analysis project for analyzing Rust programs.☆138Updated this week
- Dependency Analysis Project - tools to discover implicit dependencies in source code and on systems☆18Updated this week
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Aug 27, 2023Updated 2 years ago
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆17Mar 13, 2023Updated 2 years ago
- Utilize the capability of GPT-4o Vision on the UHHGPT web portal☆12Aug 26, 2024Updated last year
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- databend source reading notes☆22Jan 27, 2023Updated 3 years ago
- This week in Databend: an elastic and reliable cloud warehouse☆25Mar 6, 2023Updated 3 years ago
- Recommended coding standard of Verilog and SystemVerilog.☆36Oct 21, 2021Updated 4 years ago
- Examples and Exercises in Rust from "Advanced Programming in the UNIX Environment"☆21May 2, 2017Updated 8 years ago
- A high-performance, concurrent hash table☆25Dec 15, 2013Updated 12 years ago
- ☆26May 22, 2022Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆39Oct 2, 2025Updated 5 months ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- ☆28Nov 20, 2025Updated 3 months ago
- A Symmetric Multiprocessing OS Kernel over RISC-V☆32Jun 3, 2022Updated 3 years ago
- Knowledge graph extraction from text using OpenAI ChatGPT for graph extraction and Neo4j for DB storage☆11Feb 26, 2024Updated 2 years ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 8 months ago
- Gotchas and warts in Rust Lang☆78Feb 5, 2023Updated 3 years ago
- ☆10Jun 29, 2022Updated 3 years ago
- Automate dating apps with AI☆19Jan 18, 2024Updated 2 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- Prefix-Aware Attention for LLM Decoding☆29Jan 23, 2026Updated last month
- Supplementary materials for RustConf 2023 talk on signal handling☆36Sep 3, 2024Updated last year
- ☆13Jul 22, 2022Updated 3 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Build an AI bot in Discord to serve user's personalized reports on what's up in tech☆28Sep 14, 2025Updated 5 months ago
- "Bot Conversacional con OpenAI Chat GPT: Crea chatbots inteligentes usando NodeJS, Express y NextJS en este completo tutorial paso a paso…☆11Mar 16, 2023Updated 2 years ago
- Code translator from one language to another using AI☆10Feb 24, 2026Updated last week
- 🍥 Access the rust playground right in your terminal☆37Oct 31, 2024Updated last year
- Public-facing course info for program analysis materials.☆43Dec 4, 2025Updated 3 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆42Updated this week
- The code is the spec☆38Jun 6, 2023Updated 2 years ago