☆26Oct 19, 2025Updated 9 months ago
Alternatives and similar repositories for textbook
Users that are interested in textbook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Web site for cs5010 Fall 2016☆11Dec 7, 2016Updated 9 years ago
- Awesome list of Audio, Speech, and DSP(Digital signal processing)☆15Nov 15, 2023Updated 2 years ago
- Solutions to Modern Compiler Implementation in ML 🐯☆11May 24, 2017Updated 9 years ago
- This is the global manifest for Parrot Ground SDK.☆11Jun 6, 2023Updated 3 years ago
- ☆10Apr 27, 2021Updated 5 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.
- ☆12Nov 26, 2024Updated last year
- The version of Pharo by Example for Pharo 90☆33Aug 23, 2024Updated last year
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- Profile repository of Pietro Monticone.☆15Updated this week
- a bare metal example with a simple printf implementation for RPi Zero☆13Feb 4, 2021Updated 5 years ago
- Homebrew environments manager☆12Sep 17, 2019Updated 6 years ago
- Motion Planning Hyperparameter Optimization☆13Nov 2, 2022Updated 3 years ago
- 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A composable container for Adaptive ROS 2 Node computations. Select between FPGA, CPU or GPU at run-time.☆12Apr 14, 2022Updated 4 years ago
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Jun 27, 2012Updated 14 years ago
- A web-native computational notebook for programmers☆18Jan 5, 2023Updated 3 years ago
- Formalized quantum computing in Lean theorem prover☆37Jun 7, 2026Updated last month
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- now convert dokuwiki engine into a professional wiki with codowik template☆13Sep 11, 2021Updated 4 years ago
- Lecture notes and code from class☆16Jun 12, 2017Updated 9 years ago
- Facial Landmark labels for Manga 109 dataset☆12Nov 21, 2019Updated 6 years ago
- ☆15Oct 13, 2025Updated 9 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Scheme implementation by Go language☆20Jun 23, 2014Updated 12 years ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years ago
- Modern Compiler Implementation in ML☆10May 7, 2017Updated 9 years ago
- Code for our paper: Hierarchical RL Using an Ensemble of Proprioceptive Periodic Policies☆15Feb 21, 2019Updated 7 years ago
- ☆13Dec 6, 2018Updated 7 years ago
- pure type system language - henk 2000 ported to megaparsec, pretty☆22Oct 8, 2015Updated 10 years ago
- Package for the Atom text editor that provides on-the-fly music notation rendering for MEI with Verovio☆16May 29, 2020Updated 6 years ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆13Aug 16, 2023Updated 2 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 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.
- The Straight Framework for PHP☆16Sep 25, 2020Updated 5 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- ☆12Feb 27, 2017Updated 9 years ago
- Repository for the course "Sensor Fusion and Non-Linear Filtering"☆13Mar 24, 2020Updated 6 years ago
- A experimental NES emulator written in Haskell☆54Dec 4, 2025Updated 7 months ago
- Code and benchmark of the paper "MineAnyBuild: Benchmarking Spatial Planning for Open-world AI Agents" (NeurIPS D&B 2025)☆15Oct 13, 2025Updated 9 months ago
- ☆10Sep 7, 2016Updated 9 years ago