hoblovski Goto Github PK

algorithms-park

My implementation of various algorithms.

anything-bin

Holds anything that might be of any interest.

arceos

An experimental modular OS written in Rust.

brute-bitmap-allocator

A brute force version of bitmap-allocator that supports range allocations.

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.

chisel-template

A template project for beginning new Chisel work

cmdgrp

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

colorfulnews

(Java Homework) A news-reading App (MVP+Dagger2+RxJava+Retrofit2+Material Design)

compiler_course_info

compiler course info

compilerverif

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

coq-category

A personal attempt to formalize category theory in The Joy of Cat using Coq

course-notes

Personal course notes (in Chinese) for THU CST.

dcore

Mini-microkernel in rust

decaf

The new Decaf compiler, rewritten in "modern" Java

decaf-backend

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

decaf-book-spec

The Decaf Book（中文）

decaf-in-scala

The Decaf compiler, written in Scala

doc

dt-comp

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

eximp

Various PLV experiments

fuck-xuexiqiangguo

[forked for archive despite I'm not a party member] 学习强国 懒人刷分工具 自动学习

hobpane

Vim window resizing made easier

imagesearch

Project of search engine course in Tsinghua University.

incorlogic

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

kern-stack-stat

lst-hls

Life made easier with latex listings.

lwip

Just a stupid 1.4.0 version (2011) of lwIP.

mdverif_testcases

MiniDecaf 验证大作业的测例

mini-symex

Mini Symbolic Execution Engine in Python for Educational Purposes.