hgzhehe/iub_2009_P523_framework external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

hgzhehe/iub_2009_P523_framework

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/hgzhehe/iub_2009_P523_framework)

Close

hgzhehe / iub_2009_P523_frameworkView on GitHubMore

• External links
• Readme badge

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 3 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.

• Booob / P523

  View on GitHub
  P523 Code
  ☆30Jan 21, 2015Updated 11 years ago
• DeathKing / SICPxShanghai

  View on GitHub
  2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。
  ☆12Sep 1, 2015Updated 10 years ago
• phadej / heroku-docker-haskell-test

  View on GitHub
  Heroku + docker + haskell = ?
  ☆13May 11, 2015Updated 11 years ago
• suspended / Clang-Static-Analyzer-Checkers

  View on GitHub
  Clang Static Analyzer with use-after-free and double-free checkers
  ☆15Jul 24, 2015Updated 10 years ago
• pa-ba / reg-machine

  View on GitHub
  Coq & Haskell code for Calculating Correct Compilers II
  ☆12Feb 22, 2022Updated 4 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• groundx / monocerus

  View on GitHub
  Monocerus emulator framework
  ☆11Mar 28, 2019Updated 7 years ago
• traxys / pantheon

  View on GitHub
  Full OS in Rust with minimal dependencies
  ☆20May 10, 2026Updated 2 weeks ago
• etiamz / NbE-resources

  View on GitHub
  📚 A collection of resources about normalization-by-evaluation
  ☆29Jul 29, 2025Updated 10 months ago
• kungliet / okl4

  View on GitHub
  okl4 git for porting to realview_eb RTSM platform
  ☆15Oct 17, 2012Updated 13 years ago
• LighghtEeloo / magic-in-ten-mins-ml

  View on GitHub
  十分钟魔法练习 in OCaml
  ☆37Mar 31, 2022Updated 4 years ago
• vassilych / cscscpp

  View on GitHub
  CSCS Scripting Language Implemented in C++
  ☆11Mar 5, 2017Updated 9 years ago
• mrquincle / yoga-900-auto-rotate

  View on GitHub
  Autorotation by coupling iio-sensor-proxy with xrandr
  ☆20Jan 2, 2018Updated 8 years ago
• twilco / twilco.github.io

  View on GitHub
  My blog — https://twilco.github.io
  ☆13Apr 26, 2026Updated last month
• MicrochipTech / classb_mcu32

  View on GitHub
  Microchip IEC/UL 60730 Class B Functional Safety Libraries - PIC32
  ☆13Jan 4, 2016Updated 10 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• nyu-cds / python-numba

  View on GitHub
  ☆11Dec 12, 2021Updated 4 years ago
• Nimita311 / incredible-solution

  View on GitHub
  Solutions to the Incredible Proof Machine http://incredible.pm/
  ☆10Apr 21, 2020Updated 6 years ago
• mattia-furlan / MasterThesisCTT

  View on GitHub
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Nov 19, 2022Updated 3 years ago
• iblech / agdapad

  View on GitHub
  Agda as a collaborative multiplayer game
  ☆39Apr 24, 2026Updated last month
• yangdanny97 / fire-emblem-chess

  View on GitHub
  Fire Emblem themed pass & play browser chess game, implemented in ReScript
  ☆14May 15, 2026Updated 2 weeks ago
• facundominguez / stitch-lh

  View on GitHub
  ☆11Feb 15, 2022Updated 4 years ago
• teach-plt / plt-errata

  View on GitHub
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Nov 13, 2025Updated 6 months ago
• tigrannajaryan / govariant

  View on GitHub
  Variant data type for Go
  ☆17Sep 27, 2020Updated 5 years ago
• choukh / MetaZF

  View on GitHub
  Coq集合模型论
  ☆11Aug 18, 2022Updated 3 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• yumosx / voyant

  View on GitHub
  [refactor] eBPF trace language
  ☆17Feb 1, 2026Updated 3 months ago
• talas9 / tesla_can_signals

  View on GitHub
  Tesla CAN bus messages and signals for 3, Y, S and X
  ☆19Sep 10, 2023Updated 2 years ago
• rvitorper / go-bt

  View on GitHub
  Minimalist BT implementation in Go
  ☆102Apr 8, 2026Updated last month
• v0y4g3r / prom-write-request-bench

  View on GitHub
  ☆12Sep 4, 2025Updated 8 months ago
• mchakravarty / hoas-conv

  View on GitHub
  Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)
  ☆21Apr 2, 2013Updated 13 years ago
• ocramz / thih

  View on GitHub
  typing haskell in haskell
  ☆18Sep 22, 2022Updated 3 years ago
• yinwang0 / sicp

  View on GitHub
  HTML5/EPUB3 version of SICP
  ☆28Jul 2, 2019Updated 6 years ago
• ecodeclub / ecache

  View on GitHub
  统一缓存 API
  ☆18Jul 19, 2024Updated last year
• toddaaro / advanced-dan

  View on GitHub
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆16Nov 19, 2012Updated 13 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• zerokarmaleft / tapl-haskell

  View on GitHub
  Types and Programming Languages
  ☆37Aug 11, 2014Updated 11 years ago
• chenjiee815 / the_little_schemer

  View on GitHub
  《The Little Schemer》笔记
  ☆37Feb 2, 2015Updated 11 years ago
• Monash-Civil-CV-Team / FCS-Net

  View on GitHub
  ☆10Nov 1, 2021Updated 4 years ago
• robotman2412 / boa-risc-v

  View on GitHub
  My second attempt at a RISC-V CPU with learnings form my previous attempt.
  ☆10Apr 27, 2026Updated last month
• freeman42x / awesome-agda-programming

  View on GitHub
  Awesome Agda Programming
  ☆19Sep 22, 2025Updated 8 months ago
• Folyd / lox-lang

  View on GitHub
  Lox language interpreter written in Rust
  ☆20Oct 24, 2024Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io

  View on GitHub
  Public-facing course info for program analysis materials.
  ☆44Dec 4, 2025Updated 5 months ago