This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Keep and IUB faulty.I'll delete this repo immediately if there was any copyright issue. compiler passes copied from https://github.com/esaliya/SchemeStack
☆12Feb 22, 2026Updated 8 months ago
Alternatives and similar repositories for iub_2009_P523_framework
Users that are interested in iub_2009_P523_framework are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 11 years ago
- P523 Code☆30Jan 21, 2015Updated 11 years ago
- Mirror of Unsyntax☆11Sep 1, 2021Updated 5 years ago
- Heroku + docker + haskell = ?☆12May 11, 2015Updated 11 years ago
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 11 years ago
- 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.
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Full OS in Rust with minimal dependencies☆20Jul 18, 2026Updated 3 months ago
- attempting to maximize leveldb write throughput☆11Sep 1, 2013Updated 13 years ago
- Read beyond language.☆13Updated this week
- The compiler for subset of scheme developed as part of P523☆29Mar 6, 2017Updated 9 years ago
- Autorotation by coupling iio-sensor-proxy with xrandr☆20Jan 2, 2018Updated 8 years ago
- Monocerus emulator framework☆11Mar 28, 2019Updated 7 years ago
- Proc-macro to write an automatic fix for the "hidden lifetime in impl Trait" issue☆11Nov 22, 2024Updated last year
- rocksdb in rust☆13Oct 27, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- 十分钟魔法练习 in OCaml☆35Mar 31, 2022Updated 4 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆10Jan 20, 2026Updated 9 months ago
- Éclair - Parsing with derivatives and zippers☆11Apr 8, 2020Updated 6 years ago
- ☆11Dec 12, 2021Updated 4 years ago
- Disable baseband firmware signature on Sony Xperia SP & Samsung s7275r☆11Apr 17, 2017Updated 9 years ago
- survey and analysis of kv-stores in academia and industry☆10Aug 31, 2019Updated 7 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Sep 10, 2026Updated last month
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last month
- 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.
- Stream and receive video over RTSP☆10Dec 14, 2023Updated 2 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- Search for tabs in the opened window, may can also search for bookmarks and history in future versions.☆10Jun 2, 2021Updated 5 years ago
- HTML5/EPUB3 version of SICP☆28Jul 2, 2019Updated 7 years ago
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 14 years ago
- A VM-based interpreter for the Lox Programming Language.☆11Dec 5, 2025Updated 11 months ago
- Programming Languages I Lecture Notes☆13Jul 1, 2026Updated 4 months ago
- 统一缓存 API☆18Jul 19, 2024Updated 2 years ago
- PL Reading Group Website☆17Jan 12, 2026Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Analysis of the end game of Liar's Dice / Dudo☆11Jan 10, 2022Updated 4 years ago
- My second attempt at a RISC-V CPU with learnings form my previous attempt.☆11Apr 27, 2026Updated 6 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Variant data type for Go☆17Sep 27, 2020Updated 6 years ago
- [refactor] eBPF trace language☆16Jun 30, 2026Updated 4 months ago
- xv6::file_system re-implemented in Rust and FUSE.☆12May 19, 2018Updated 8 years ago
- ☆10Nov 1, 2021Updated 5 years ago