sksat / vmLinks
https://github.com/sk2sat/emu のほうで一から作り直ししてます
☆24Updated 7 years ago
Alternatives and similar repositories for vm
Users that are interested in vm are comparing it to the libraries listed below
Sorting:
- mruby running inside the bare-metal hypervisor☆19Updated 5 years ago
- cybozu labs youth 7th☆54Updated 5 years ago
- ☆19Updated 4 years ago
- nv is a programming language supports non-volatile variable and flexible grammar.☆24Updated 3 years ago
- ☆37Updated 7 years ago
- WWWを再構築するぞ!!!☆15Updated 6 years ago
- Gameboy Emulator☆8Updated 4 years ago
- a brief note on extendable and injectable syntax☆20Updated 9 years ago
- C compiler + hikalium☆34Updated 4 years ago
- A CPU that executes brainf**k language. Can be synthesized on FPGA☆12Updated 7 years ago
- Lit is a programming language designed fast & light weight with LLVM☆26Updated 8 years ago
- ISO C90のコンパイラ☆31Updated 8 years ago
- some notes on CTFs.☆25Updated 9 years ago
- ☆28Updated 7 years ago
- 論文を読んだふりしてライバルに差をつけろ☆17Updated 8 years ago
- ☆31Updated 7 years ago
- SECCON2015 online CTF for public☆71Updated 9 years ago
- 電子書籍: x64 UEFI 対応 OS 自作入門 https://tenpoku1000.gitbook.io/tenpoku-book/☆49Updated 3 years ago
- Header only packet analysis library written in C++11☆40Updated 7 years ago
- .netアプリケーションの関数を実行時に置き換えるプログラム☆15Updated 8 years ago
- こちらは教育用自作組み込みOSであるKOZOSをRaspberry Piへ移植したものです。This is an KOZOS(http://kozos.jp/kozos/) port to Raspberry Pi.☆20Updated 7 years ago
- CR0.CD manipulate Linux Kernel Module as a proc filesystem☆19Updated 5 years ago
- The C3, SMT/SAT solver written in C.☆34Updated 2 years ago
- Cyanurus is a Unix-like operating system for ARMv7-A☆48Updated 8 years ago
- Lepus-CTF frontend application☆11Updated 9 years ago
- ☆10Updated 3 years ago
- Stacking List Oriented Basic Architecture Allocator☆15Updated 6 years ago
- webfuck chrome extension☆18Updated 8 years ago
- xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF化したもの☆28Updated 11 years ago
- Check Git's vulnerability CVE-2017-1000117☆136Updated 7 years ago