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
- This is the global manifest for Parrot Ground SDK.☆13Jun 6, 2023Updated 3 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- Artifcial Intellgence Research paper☆10Mar 16, 2017Updated 9 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 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.
- Generate CLI program colorschemes based on your vim colorscheme☆11Jan 17, 2023Updated 3 years ago
- Genetic algorithm to solve 3D Tetris.☆13Apr 28, 2017Updated 9 years ago
- The direct 2D api used from rust.☆10Jul 30, 2016Updated 10 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- A step-by-step introduction to ROS2 on the Create3.☆10May 20, 2022Updated 4 years ago
- My (newer) Emacs configuration☆14Updated this week
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Jun 27, 2012Updated 14 years ago
- Google's list of Certificate Transparency logs as a rust crate for use with sct.rs☆14Feb 17, 2023Updated 3 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.
- CancellationToken for composable cancellation in Rust☆18Oct 20, 2020Updated 5 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 8 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
- 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
- A Rust library and tools providing easy access to the retdec.com decompilation service through their REST API.☆13Jun 17, 2018Updated 8 years ago
- DS-GA 1003: Machine Learning and Computational Statistics, Spring 2016☆16Jan 25, 2017Updated 9 years 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.
- diff/undo for lua tables☆12Sep 1, 2016Updated 10 years ago
- Examples for ARM Lecture☆15Aug 7, 2014Updated 12 years ago
- Scheme implementation by Go language☆20Jun 23, 2014Updated 12 years ago
- lua port of joshdick/onedark.vim☆12Oct 23, 2023Updated 2 years ago
- SPARX block ciphers implementations for Rust.☆17Jan 29, 2026Updated 7 months 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
- Elegant Emacs theme with bright colors, based on https://github.com/sindresorhus/hyper-snazzy☆12Mar 12, 2017Updated 9 years ago
- WIP - Don't look!☆11Dec 14, 2014Updated 11 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.
- A sample repository associated to my post on remote debugging of Python in VFX appliactions.☆15Jun 13, 2018Updated 8 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 7 years ago
- A Pratt Parser implementation in Python☆29Apr 19, 2017Updated 9 years ago
- Tiny Wolfram Alpha commandline script☆12Sep 15, 2017Updated 8 years ago
- Opens URLs on the current line in your OS X default browser.☆15Dec 26, 2015Updated 10 years ago
- An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml☆12Apr 15, 2020Updated 6 years ago
- Learn Haskell☆19Jul 1, 2014Updated 12 years ago