#
Starred repositories
STOKE: A stochastic superoptimizer and program synthesizer
The perfect emulation setup to study and develop the Linux kernel, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and …
Code repository of all OpenGL chapters from the book and its accompanying website https://learnopengl.com
Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar
Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)
Highlight mouse pointer/cursor using a dot - useful for presentations, screen sharing, ...
An example of using the reflective API in Racket to make a testing harness
Feature-rich wifi hotspot creator for Linux which provides both GUI and command-line interface. It is also able to create a hotspot using the same wifi card which is connected to an AP already ( Si…
Create GitHub Resource Download Link
C Compiler which targets Excel (MS Office)
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Hardcaml is an OCaml library for designing hardware.
Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.
A Racket library for creative drawings and animations. Inspired by Processing.
A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
Abstracting Definitional Interpreters