☆29Oct 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
- Solutions to Modern Compiler Implementation in ML 🐯☆11May 24, 2017Updated 9 years ago
- This is the global manifest for Parrot Ground SDK.☆12Jun 6, 2023Updated 3 years ago
- ☆10Apr 27, 2021Updated 5 years ago
- ☆12Nov 26, 2024Updated last year
- 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.
- A rust operating system for the ARM V7-A running on a beaglebone black☆12Mar 11, 2021Updated 5 years ago
- 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 step-by-step introduction to ROS2 on the Create3.☆10May 20, 2022Updated 4 years ago
- 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
- 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.☆11Apr 14, 2022Updated 4 years ago
- 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
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- A web-native computational notebook for programmers☆18Jan 5, 2023Updated 3 years ago
- 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
- ☆15Oct 13, 2025Updated 9 months 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.
- 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
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- Code for our paper: Hierarchical RL Using an Ensemble of Proprioceptive Periodic Policies☆16Feb 21, 2019Updated 7 years ago
- Modern Compiler Implementation in ML☆10May 7, 2017Updated 9 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
- ☆13Sep 13, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- The Straight Framework for PHP☆16Sep 25, 2020Updated 5 years ago
- Youtube like upnext endcard for video.js https://fgodino.github.io/videojs-upnext/☆17Dec 7, 2023Updated 2 years ago
- Burp suite extension that lets you easily copy issues☆17Apr 3, 2026Updated 4 months ago
- an arcane Lisp dialect written in Go for fun and prosperity☆13Jan 7, 2026Updated 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