rai

Racket Abstract Interpretation. More information on http://zwizwa.be/rai

This repository is a Racket package. To install:

raco pkg install github://github.com/zwizwa/rai/master

Follow the white rabbit in test/doodle.rkt

Name		Name	Last commit message	Last commit date
Latest commit History 323 Commits
bin		bin
deps		deps
doc		doc
emacs		emacs
gui		gui
lc		lc
nodep		nodep
pd		pd
rai_uc_tools		rai_uc_tools
slv2		slv2
spice		spice
src		src
stream/lang		stream/lang
test		test
.envrc		.envrc
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
ROOT.txt		ROOT.txt
ai-array-c.rkt		ai-array-c.rkt
ai-array-scheme.rkt		ai-array-scheme.rkt
ai-array.rkt		ai-array.rkt
ai-autodiff.rkt		ai-autodiff.rkt
ai-complex.rkt		ai-complex.rkt
ai-eval.rkt		ai-eval.rkt
ai-freq.rkt		ai-freq.rkt
ai-linpar.rkt		ai-linpar.rkt
ai-poly.rkt		ai-poly.rkt
ai-proc.rkt		ai-proc.rkt
ai-stream.rkt		ai-stream.rkt
ai-symbolic.rkt		ai-symbolic.rkt
ai-taylor.rkt		ai-taylor.rkt
arm-dsp.rkt		arm-dsp.rkt
compalg-lib.rkt		compalg-lib.rkt
compalg.rkt		compalg.rkt
debug.rkt		debug.rkt
default.nix		default.nix
demo.rkt		demo.rkt
drracket		drracket
exp.rkt		exp.rkt
f32vector.rkt		f32vector.rkt
gnuplot.rkt		gnuplot.rkt
info.rkt		info.rkt
install-env.sh		install-env.sh
libproc.rkt		libproc.rkt
main_lv2.rkt		main_lv2.rkt
matrix-lib.rkt		matrix-lib.rkt
meta.rkt		meta.rkt
number.rkt		number.rkt
old-ai-stream.rkt		old-ai-stream.rkt
peval.rkt		peval.rkt
prim.rkt		prim.rkt
racket.sh		racket.sh
raco		raco
shell.nix		shell.nix
sp-host.rkt		sp-host.rkt
stream-lib.rkt		stream-lib.rkt
stream-meta.rkt		stream-meta.rkt
stream-native.rkt		stream-native.rkt
stream-syntax.rkt		stream-syntax.rkt
stream.rkt		stream.rkt
stream2c.rkt		stream2c.rkt
synth-lib.rkt		synth-lib.rkt
test-tools.rkt		test-tools.rkt
tools.rkt		tools.rkt
type.rkt		type.rkt
yield.rkt		yield.rkt

zwizwa/rai