β36Oct 19, 2025Updated 11 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
- β10Apr 27, 2021Updated 5 years ago
- This is the global manifest for Parrot Ground SDK.β13Jun 6, 2023Updated 3 years ago
- β12Nov 26, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting β’ AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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 2 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
- A portable linker for multiple file formats.β20Aug 28, 2023Updated 3 years ago
- 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
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A web-native computational notebook for programmersβ18Jan 5, 2023Updated 3 years ago
- Type inference implementation in OCaml using Algorithm Wβ10Aug 26, 2021Updated 5 years ago
- code for icml paper: https://arxiv.org/abs/1711.03243v3β12Jul 8, 2018Updated 8 years ago
- Lecture notes and code from classβ16Jun 12, 2017Updated 9 years ago
- β16Oct 13, 2025Updated 11 months ago
- 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
- ProbFuzz: A Framework for Testing Probabilistic Programming Systemsβ10Oct 22, 2018Updated 7 years ago
- Code for our paper: Hierarchical RL Using an Ensemble of Proprioceptive Periodic Policiesβ16Feb 21, 2019Updated 7 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.
- 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 11 years ago
- Burp suite extension that lets you easily copy issuesβ17Apr 3, 2026Updated 6 months ago
- β13Sep 13, 2021Updated 5 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 3 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohridβ23Sep 3, 2019Updated 7 years ago
- Source code of IPA, https://escholarship.org/uc/item/2p0805dqβ13Jun 27, 2024Updated 2 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.
- Youtube like upnext endcard for video.js https://fgodino.github.io/videojs-upnext/β17Dec 7, 2023Updated 2 years ago
- β12Feb 27, 2017Updated 9 years ago
- an arcane Lisp dialect written in Go for fun and prosperityβ13Jan 7, 2026Updated 9 months ago
- β10Sep 7, 2016Updated 10 years ago
- Scientific Programming for Wind Energy (46120)β47May 7, 2026Updated 5 months ago
- CΓ i add-ons Anki thΓ΄ng dα»₯ngβ10Mar 4, 2022Updated 4 years ago
- Java JNI binding for mujoco physics systemβ18Mar 18, 2025Updated last year