HongyuHe / shell
A Unix shell written in C.
☆8Updated 3 years ago
Alternatives and similar repositories for shell:
Users that are interested in shell are comparing it to the libraries listed below
- Two old-school games with fancy features and GUI.☆8Updated 3 years ago
- Sample code for the Breakfast Search Club.☆6Updated 4 years ago
- 🖥️ An instruction set architecture (a subset of the JVM assembly language) used in the Java platform.☆9Updated 3 years ago
- A Windows desktop application which is able to parse and reorganize subtitle files (.ass .srt .ssa .sup). My original purpose was to mak…☆9Updated 5 years ago
- A memory allocator written in C.☆6Updated 3 years ago
- Frontend: React + Vite + TS; Backend: Python Flask☆20Updated 3 months ago
- ☆12Updated 4 years ago
- ☆19Updated 2 years ago
- source code analysis workshop☆15Updated 3 years ago
- 国科大软件安全原理作业☆23Updated 4 years ago
- This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs (#158)” in ICSE2022☆12Updated 2 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆40Updated 5 months ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Updated 4 years ago
- Graspan-G is a GPU-based version of Graspan.☆9Updated 3 years ago
- 凵 Full-system, queuing simulator for serverless workflows.☆25Updated last year
- Collaborative Datacenter Simulation and Exploration for Everybody☆77Updated this week
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆21Updated 2 years ago
- ☆12Updated 7 months ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- CS 61 problem sets for 2020☆12Updated 4 years ago
- ☆35Updated 5 years ago
- Implement pointer analysis prototype(currently including anderson, steensgard)~☆15Updated 3 years ago
- Load generator and trace sampler for serverless computing☆21Updated this week
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x☆21Updated 6 years ago
- HW interface for memory caches☆26Updated 4 years ago
- CCF推荐列表的会议征稿信息（计算机系统相关）；SCI I区、II区期刊（系统与安全相关）☆29Updated 5 years ago
- ☆14Updated last year
- CNF minimizer and minimal independent set calculator☆18Updated 7 months ago