Hoblovski

MiniML

Self-made functional compiler for fun. Uses SECD as intermediate language.

decaf-backend

NEO backend for Decaf. (WIP) SSA IR; DAG covering for InstrSel; better RegAlloc.

dt-comp

Prototype auto test-case generation for Minidecaf. (Not for general C. Use CSmith for that.)

miniml-rs

MiniML reimplemented in Rust. Self-made functional compiler for fun.

arceos

An experimental modular OS written in Rust.

brython

Brython (Browser Python) is an implementation of Python 3 running in the browser

checkers_sosp23

The source code of static checkers for refcounting bugs.

cmdgrp

Easily create command groups like `apt` or `git`

compilerverif

(partial) proofs for https://xavierleroy.org/courses/EUTypes-2019/

dcore

Mini-microkernel in rust

decaf-in-scala

The Decaf compiler, written in Scala

ExImp

Various PLV experiments

IncorLogic

Formalization of O'Hearn's Incorrectness Logic in Coq.

kern-stack-stat

mdverif_testcases

MiniDecaf 验证大作业的测例

minidecaf-web

mircallgraph

multiboot-example-os

Example OS code for multiboot, built and run.

nom

Rust parser combinator framework

perwindow-search.vim

Allows different vim windows to have their own search patterns.

pysh

Painfree shell programming in Python

rc-files

Migrated from bitbucket

rCore-Tutorial-v3

Let's write an OS which can run on RISC-V in Rust from scratch!

RSECD-interp

Interactive interpreter, for the recursive SECD machine.

rt64

Real time OS on x64

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

sf

stupid-decaf

A stupid implementation of minidecaf (in fact smolsee)

xv6-riscv

Xv6 for RISC-V

xx6

RISC-V OS inspired by (frankly largely reusing code from) xv6, with a lot of hacks (XXX)