kercker

acwj

A Compiler Writing Journey

archive-program

The GitHub Archive Program & Arctic Code Vault

awk

One true awk

blockly

The web-based visual programming editor.

bypass-paywalls-chrome

Bypass Paywalls web browser extension for Chrome and Firefox.

Cbc

This is a mirror of the subversion repository on COIN-OR

fast

The adaptive interface system for modern web experiences.

felicette

Satellite imagery for dummies.

influential-cs-books

Most influential books on Computer Science/programming

jaamsim

Master repository for Jaamsim source code

jdk

Read-only mirror of https://hg.openjdk.java.net/jdk/jdk

js13k2019-yet-another-doom-clone

Yet another doom clone (in 13kb of JavaScript)

jsprit

jsprit is a java based, open source toolkit for solving rich vehicle routing problems

l4v

seL4 specification and proofs

lean4

Lean 4 programming language and theorem prover

M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

machine-learning-book

Code Repository for Machine Learning with PyTorch and Scikit-Learn

mini-typescript

A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler

networkx

Network Analysis in Python

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

post-mortems

A collection of postmortems. Sorry for the delay in merging PRs!

PythonDataScienceHandbook

Python Data Science Handbook: full text in Jupyter Notebooks

seL4

The seL4 microkernel

server_conf

ts-sql

A SQL database implemented purely in TypeScript type annotations.

type-challenges

Collection of TypeScript type challenges with online judge

TypeScript-Compiler-Notes

A repo containing notes about the TypeScript Compiler codebase

VRP-RL

Reinforcement Learning for Solving the Vehicle Routing Problem

wavesurfer.js

Navigable waveform built on Web Audio and Canvas

xv6-riscv

Xv6 for RISC-V