localchart / mini-pysonarLinks
a prototype version of PySonar static analyzer
☆21Updated 12 years ago
Alternatives and similar repositories for mini-pysonar
Users that are interested in mini-pysonar are comparing it to the libraries listed below
Sorting:
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆325Updated 4 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- A Scheme to x86-64 compiler in Scheme☆80Updated 10 years ago
- A quick and very dirty Scheme interpereter.☆384Updated 7 years ago
- A simple virtual machine w/constant folding implemented in Python☆120Updated 4 years ago
- A Python implementation for Racket☆150Updated 7 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 8 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆190Updated 13 years ago
- A rudimentary Racket implementation using RPython☆265Updated 3 weeks ago
- A structural comparison tool for Python☆114Updated 8 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆363Updated 4 years ago
- Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).☆65Updated 7 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆135Updated 10 years ago
- a compiler from a subset of Scheme into X64☆31Updated 11 years ago
- nanopass compiler framework for Racket☆189Updated last year
- A stack machine VM, interpreter and genetic programming library☆46Updated 6 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 14 years ago
- A native compiler for Scheme compliant with R6RS☆200Updated 7 years ago
- A Scheme interpreter base on R5RS specification.☆52Updated 5 years ago
- Nanopass scheme compiler in scheme for x86☆68Updated 8 years ago
- Implementation of the LLVM tutorial in Python using llvmlite☆314Updated 6 months ago
- Some educational code written 10+ years ago at IU☆27Updated 3 years ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 8 years ago
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆40Updated 6 years ago
- An implementation of Scheme in Python and C++☆174Updated 7 months ago
- A single-pass, recursive decent LL(1) compiler written by hand for a made-up language.☆87Updated 7 years ago
- A tiny 1000 line LLVM-based numeric specializer for scientific Python code.☆409Updated 3 years ago
- They contain so few lines of code, yet so few people get them right.☆39Updated 11 years ago
- Public helper code for p423/p523 students (Racket)☆165Updated 8 months ago
- Larceny Scheme implementation☆209Updated 7 years ago