Alternatives and similar repositories for course_safepl

Users that are interested in course_safepl are comparing it to the libraries listed below

• jiegec / cold
  The cold linker
  ☆71Updated last month
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆58Updated last year
• asterinas / vostd
  A community preview of ongoing formal verification efforts for Asterinas
  ☆42Updated last week
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆67Updated 6 months ago
• ksco / rvld
  Learn how to write a minimal working linker from scratch
  ☆109Updated last year
• Artisan-Lab / RAPx
  Rust Analysis Platform
  ☆134Updated last week
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆79Updated 3 years ago
• MaxXSoft / laps
  Build lexers and parsers by deriving traits.
  ☆25Updated 2 years ago
• hgzhehe / iub_2009_P523_framework
  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…
  ☆12Updated 5 years ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆86Updated 2 years ago
• siriusdemon / P523-Rust
  P523 Course in Rust
  ☆63Updated 4 years ago
• YdrMaster / rCore-Tutorial-in-single-workspace
  没分支的 rCore-Tutorial
  ☆49Updated 3 weeks ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆83Updated 2 weeks ago
• SJTU-PLV / CompCert
  The CompCert formally-verified C compiler
  ☆10Updated this week
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Updated 10 months ago
• LearningOS / rCore-Tutorial-Book-v3
  mirror of https://github.com/rcore-os/rCore-Tutorial-Book-v3
  ☆19Updated 2 years ago
• NJU-SICP / OnlineJudge
  SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.
  ☆12Updated 3 years ago
• yukiiiteru / DailySchedule_2020
  OS Tutorial Summer of Code 2020
  ☆19Updated 3 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆144Updated last month
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆212Updated 5 years ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆146Updated last year
• syswonder / ruxos
  Rust Unikernel OS
  ☆90Updated 2 weeks ago
• lizhuohua / rust-ffi-checker
  ☆61Updated 2 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆42Updated last month
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆65Updated 9 months ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 3 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆36Updated 3 years ago
• rcore-os / nvme_driver
  ☆29Updated 2 years ago
• decaf-lang / minidecaf-tutorial
  The MiniDecaf tutorial documentation.
  ☆98Updated 2 months ago