Lecture notes and code from class
☆16Jun 12, 2017Updated 8 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:
- A portable linker for multiple file formats.☆14Aug 28, 2023Updated 2 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
- Tiny ML interpreter☆16Feb 16, 2014Updated 12 years ago
- Support repository for the functional programming lecture (Haskell)☆19Jul 27, 2025Updated 10 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- libev from http://software.schmorp.de/pkg/libev.html , add some comments and delete some unneed compenents☆11Apr 12, 2014Updated 12 years ago
- ☆12Nov 26, 2024Updated last year
- wysiwyg-rails 编辑器支援七牛云存储☆12Feb 25, 2016Updated 10 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 11 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 bare metal example with a simple printf implementation for RPi Zero☆13Feb 4, 2021Updated 5 years ago
- Mathematical Analysis (et analyse fonctionnelle)☆14Feb 1, 2022Updated 4 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.
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- Kotlin/Pekko game server scaffold and business example built on Asteria, covering gateway, player, world, GM, config, scripting, and depl…☆24May 22, 2026Updated last week
- 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
- Generate CLI program colorschemes based on your vim colorscheme☆11Jan 17, 2023Updated 3 years ago
- ☆11Sep 7, 2017Updated 8 years ago
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Jun 27, 2012Updated 13 years ago
- Basic paxos☆30Apr 10, 2014Updated 12 years ago
- Birkana SVG generator.☆13Feb 25, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- My (newer) Emacs configuration☆14May 5, 2026Updated 3 weeks ago
- Small sample using Akka Streams to build a low level chat server and client☆13Oct 4, 2019Updated 6 years ago
- python script that generates c++ mapping classes for a given json☆13Aug 2, 2022Updated 3 years ago
- CancellationToken for composable cancellation in Rust☆18Oct 20, 2020Updated 5 years ago
- Google LevelDB for macOS/iOS☆19Jun 1, 2018Updated 7 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
- A CLI tool, built to detect updates to the products on eFarms, FarmCrowdy, ThriveAgric and AgroPartnerships☆19Feb 11, 2022Updated 4 years ago
- Google's list of Certificate Transparency logs as a rust crate for use with sct.rs☆14Feb 17, 2023Updated 3 years ago
- ☆15Dec 4, 2016Updated 9 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.
- time's prettier cousin☆16Dec 4, 2018Updated 7 years ago
- Unstack Conf workshop on State machines and State charts☆15Nov 6, 2020Updated 5 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
- rust html source code browser generator, rust source code navigator, possible component for IDE ? Example output - see rust compiler sou…☆48Jun 3, 2017Updated 8 years ago
- A maya attraction deformer node (plugin).☆15Mar 9, 2017Updated 9 years ago
- RFCs for changes to Rust☆11Jul 17, 2020Updated 5 years ago