Pinned Repositories
jit-coach
Prototype Optimization Coach for SpiderMonkey
optimization-coach
Optimization Coach Plug-In for DrRacket
partial-evaluation-tutorial
Racket implementation of Cook and Lämmel's partial evaluation tutorial.
picobit
A Compact Scheme System for Microcontrollers
racket-benchmark
racket benchmarking library
rash
An attempt at capturing what I like about bash, as a #lang
recipes
(Food) recipes
s3
A Scheme TCP/IP Stack Targeting Small Embedded Applications
sexp-diff
S-expression-aware diffing tool based on Levenshtein-like tree edit distance.
sixpic
A C compiler for PIC18 designed for virtual machines
stamourv's Repositories
stamourv/sexp-diff
S-expression-aware diffing tool based on Levenshtein-like tree edit distance.
stamourv/optimization-coach
Optimization Coach Plug-In for DrRacket
stamourv/racket-benchmark
racket benchmarking library
stamourv/recipes
(Food) recipes
stamourv/classicthesis-scribble
Scribble wrapper for the classicthesis LaTeX style
stamourv/feature-profile
Feature-specific profiling support for Racket
stamourv/dungeons-and-repossessions
stamourv/beer
Beer recipes
stamourv/acmsmall-scribble
Port of the acmsmall style to Scribble
stamourv/Contracts
stamourv/digimon
The (typed) core to construct the digital world
stamourv/distro-build
stamourv/dssl2
A data structures student language, version 2
stamourv/Emerging-Coders-Website
stamourv/graph
Generic graph library and algorithms for Racket.
stamourv/kw-utils
misc kw utils
stamourv/lipics-scribble
Scribble language for making papers in the LIPIcs format
stamourv/plai
stamourv/plai-typed
stamourv/plait
stamourv/plaitypus
Typed Variant of #lang plai. Forked from plai-typed, brought closer to #lang plai.
stamourv/plot
stamourv/pop-pl
A Patient-Oriented Prescription Programing Language
stamourv/racket
The Racket repository
stamourv/racket-collections
Generic collections API for Racket
stamourv/racket-lang-org
stamourv/scribble
stamourv/staged-slide
Helpers for building staged slides in Slideshow
stamourv/test-drrackgit
stamourv/typed-racket
Typed Racket