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
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Aug 1, 2024Updated last year
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 9 years ago
- ☆10Apr 27, 2021Updated 5 years ago
- CMU 15-712 lecture slides☆11Jan 6, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Variational LSTM to generate rap music (with and without text input)☆11Jan 2, 2017Updated 9 years ago
- Support repository for the functional programming lecture (Haskell)☆19Jul 27, 2025Updated 11 months ago
- ☆12Nov 26, 2024Updated last year
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- A dynamic, stack-based concatenative toy programming language.☆14Mar 12, 2022Updated 4 years ago
- P523 Code☆30Jan 21, 2015Updated 11 years ago
- A step-by-step introduction to ROS2 on the Create3.☆10May 20, 2022Updated 4 years ago
- Homebrew environments manager☆12Sep 17, 2019Updated 6 years ago
- The direct 2D api used from rust.☆10Jul 30, 2016Updated 9 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.
- C++ Summer Lecture Series 2016☆14Sep 30, 2016Updated 9 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- Generate CLI program colorschemes based on your vim colorscheme☆11Jan 17, 2023Updated 3 years ago
- Basic paxos☆29Apr 10, 2014Updated 12 years ago
- ☆16Feb 19, 2017Updated 9 years ago
- CancellationToken for composable cancellation in Rust☆18Oct 20, 2020Updated 5 years ago
- match a Lua string, comment, or expression by loose parsing in pure Lua☆19Apr 19, 2013Updated 13 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 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple library for implementing state machines☆12Jul 23, 2021Updated 4 years ago
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 8 years ago
- Google's list of Certificate Transparency logs as a rust crate for use with sct.rs☆14Feb 17, 2023Updated 3 years ago
- Benchmark for popular fft libaries - fftw | cufftw | cufft☆18Dec 8, 2018Updated 7 years ago
- Unstack Conf workshop on State machines and State charts☆15Nov 6, 2020Updated 5 years ago
- Scheme implementation by Go language☆20Jun 23, 2014Updated 12 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
- RFCs for changes to Rust☆11Jul 17, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Improve table testing in Rust.☆10Apr 9, 2018Updated 8 years ago
- lpeg based parser -> highlighter for m in nvim☆18Oct 18, 2018Updated 7 years ago
- BitTorrent Tracker☆31Oct 22, 2009Updated 16 years ago
- Hide data in image noise☆11Jan 31, 2022Updated 4 years ago
- DS-GA 1003: Machine Learning and Computational Statistics, Spring 2016☆16Jan 25, 2017Updated 9 years ago
- pure type system language - henk 2000 ported to megaparsec, pretty☆22Oct 8, 2015Updated 10 years ago
- diff/undo for lua tables☆12Sep 1, 2016Updated 9 years ago