leafgray / pysonar2Links
the world's most advanced static analyzer for Python
☆36Updated 12 years ago
Alternatives and similar repositories for pysonar2
Users that are interested in pysonar2 are comparing it to the libraries listed below
Sorting:
- a compiler from a subset of Scheme into X64☆241Updated 6 years ago
- ☆147Updated 9 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆193Updated 13 years ago
- Yet another Y86 implementation☆67Updated 9 months ago
- 哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。☆81Updated 11 years ago
- ☆26Updated 8 years ago
- This is the CoCo Virtual Machine Source Code.☆200Updated 9 years ago
- 多处理器编程的艺术☆115Updated 10 years ago
- Introduction to Programming☆58Updated 9 months ago
- Operating System - ECE 391 Takefive Interactive Team☆96Updated 9 years ago
- A structural comparison tool for Python☆116Updated 9 years ago
- A Chinese translation of "teach-yourself-scheme-in-fixnum-days"☆185Updated 5 years ago
- 《计算机程序的构造和解释》编程题解☆168Updated 7 years ago
- my solutions to EOPL3☆368Updated 7 years ago
- Henry Spencer's old regular expression library, also known as the book regex library, circa 1986.☆135Updated 10 years ago
- 《Scheme入门教程》,Takafumi Shido 著,Yet Scheme Another Tutorial中译版。☆378Updated 6 years ago
- an unix-like toy os kernel☆285Updated 2 years ago
- An introduction to lambda calculus in Chinese, including an interpreter in Haskell.☆388Updated 11 years ago
- OS开发编写的资料☆118Updated 4 years ago
- Yet another scheme compiler... This time generating shitty code.☆18Updated 12 years ago
- 《跟着瓦利哥学写OS》的课程代码☆101Updated 11 years ago
- Cb (C flat) compiler. Cb is simplified C.☆173Updated 9 years ago
- 中文注释说明内核源码☆173Updated 7 years ago
- A semantic indexer for Ruby with interprocedual type inference☆195Updated 2 years ago
- Course project to insert a backdoor into an open source compiler (Ken Thompson’s Reflections on Trusting Trust)☆103Updated 11 years ago
- The implementation of MIT's 6.828 Operating System Engineering☆41Updated 9 years ago
- Magical Book The book uses dialects Scheme in the programming language Lisp to explain the core concepts of computer science, including a…☆230Updated 6 years ago
- A kind of Lisp☆54Updated 3 years ago
- Public code developed during my MSc study at University of Bologna☆76Updated 2 years ago
- Brianfuck compiler and JIT runner☆76Updated 6 years ago