crcc's repositories
awesome-compilers
:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes.
awesome-courses
:books: List of awesome university courses for learning Computer Science!
compiler-tutorial
Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX
crcc.github.io
my github pages
cyclone
:cyclone: A brand-new compiler that allows practical application development using R7RS Scheme.
distsys-class
Class materials for a distributed systems lecture series
dybvig-three-imp
Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the section of the paper it implements. I made a few modifications to make the code work with PLT Scheme. Each file is a module that exports an evaluate function. Some of the VMs need mutable lists, so I explicitly use mcons, etc. where needed. Also, the recur macro is the same as let, so I used let instead.
Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
fcitx-table-unicode-latex
fcitx table with LaTeX macros to input unicode symbols
femtolisp
a lightweight, robust, scheme-like lisp implementation
How-to-Make-a-Computer-Operating-System
How to Make a Computer Operating System in C++
interpreters
Example interpreters for education purposes
jsonp
jsonp
LuaInLua
A self-hosting compiler for the Lua language.
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
nanopass
Nanopass scheme compiler in scheme for x86
nugget
Compiler for a tiny subset of the Scheme language.
os01
Bootstrap yourself to write an OS from scratch. A book for self-learner.
pysonar2
a type inferencer for Python
redox
Redox: A Rust Operating System
scheme-compiler
Scheme compiler based on the example in the book Paradigms of Artificial Intelligence by Peter Norvig
sicp
HTML5/EPUB3 version of SICP
support-code-for-students
Utility code, test suites, etc. for the compiler course
system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
toaruos
Hobby kernel + userspace, built mostly from scratch. Composited GUI, dynamically linked ELF binaries, networking, Python applications, and more.
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.