Stars
A menagerie of cute implementations of modern typechecking algorithms
Rhyme is an Expressive Data-Centric Query Language
Quickly browse the history of a file from any git repository
+md=❤️ Awesome tutorials from your git log
Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland cheat at: https://github.com/cirosantilli/linux-kernel-modu…
Program Generator for Small-Scale Linear Algebra Applications
multi-stage relational programming for staged relational interpreters: running with holes, faster
This github repository hosts the code used within my thesis work and my last publication.
Essential Cheat Sheets for deep learning and machine learning researchers https://medium.com/@kailashahirwar/essential-cheat-sheets-for-machine-learning-and-deep-learning-researchers-efb6a8ebd2e5
A Macro Annotation that generates JS-Scala LMS libraries for the corresponding Scala-JS code.
A curated list of awesome Machine Learning frameworks, libraries and software.
A SuperCompiler for Martin-Löf's Type Theory
Course Project in Synthesis, Analysis and Verification in Scala
A simple tool to go along with "The First Few Milliseconds of an HTTPS Connection" blog post on moserware.com
Running the code you want to write as fast as the code you have to write
Please visit https://github.com/h2oai/h2o-3 for latest H2O
A prototype meta DSL that generates Delite DSL implementations from a specification-like program.