Lecture notes and code from class
☆16Jun 12, 2017Updated 9 years ago
Alternatives and similar repositories for lectures
Users that are interested in lectures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modern Compiler Implementation in ML☆10May 7, 2017Updated 9 years ago
- Solutions to Modern Compiler Implementation in ML 🐯☆11May 24, 2017Updated 9 years ago
- A Powershell script for signing or adding signatures to tap-windows6 drivers☆10Apr 18, 2019Updated 7 years ago
- ☆12Nov 26, 2024Updated last year
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- The direct 2D api used from rust.☆10Jul 30, 2016Updated 10 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- C++ Summer Lecture Series 2016☆14Sep 30, 2016Updated 9 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- a bare metal example with a simple printf implementation for RPi Zero☆13Feb 4, 2021Updated 5 years ago
- Birkana SVG generator.☆13Feb 25, 2019Updated 7 years ago
- Homebrew environments manager☆12Sep 17, 2019Updated 6 years ago
- My (newer) Emacs configuration☆14May 5, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A portable linker for multiple file formats.☆19Aug 28, 2023Updated 2 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 11 years ago
- CancellationToken for composable cancellation in Rust☆18Oct 20, 2020Updated 5 years ago
- For loop macros for Nim☆10Nov 28, 2020Updated 5 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- A C++ String-like-class that does not save data as plain-text in memory. It makes live analysis of memory more difficult, as well as fore…☆14Aug 16, 2014Updated 12 years ago
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 8 years ago
- ☆15Dec 4, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Multiplayer node-based data frame/SQL app☆14Mar 26, 2023Updated 3 years ago
- A simple console file manager.☆21Nov 8, 2022Updated 3 years ago
- time's prettier cousin☆16Dec 4, 2018Updated 7 years ago
- Quickly insert debugger statements into your buffer based on filetype.☆10May 5, 2020Updated 6 years ago
- Use the file system abstraction library, assetsys.h, to load raylib assets from .zip files.☆12Sep 10, 2023Updated 2 years ago
- A Rust implementation of the first project from Tim Hartnell's book "Creating Adventure Games on Your Computer".☆12May 28, 2017Updated 9 years ago
- A maya attraction deformer node (plugin).☆16Mar 9, 2017Updated 9 years ago
- ENE is an end-to-end encryption tool designed for mail.☆14Sep 30, 2018Updated 7 years ago
- diff/undo for lua tables☆12Sep 1, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Examples for ARM Lecture☆15Aug 7, 2014Updated 12 years ago
- lua port of joshdick/onedark.vim☆12Oct 23, 2023Updated 2 years ago
- Scheme implementation by Go language☆20Jun 23, 2014Updated 12 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12May 12, 2020Updated 6 years ago
- A no_std mqtt encoder/decoder in pure Rust for use in embedded systems.☆14Jan 3, 2022Updated 4 years ago
- pure type system language - henk 2000 ported to megaparsec, pretty☆22Oct 8, 2015Updated 10 years ago
- Unix terminal drain and formatter for slog-rs☆19Aug 21, 2025Updated 11 months ago