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 2 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 10 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
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• 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 2, 2026Updated last week
• etiamz / NbE-resources

  View on GitHub
  📚 A collection of resources about normalization-by-evaluation
  ☆29Jul 29, 2025Updated 9 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
  ☆12Apr 26, 2026Updated last week
• MicrochipTech / classb_mcu32

  View on GitHub
  Microchip IEC/UL 60730 Class B Functional Safety Libraries - PIC32
  ☆13Jan 4, 2016Updated 10 years ago
• Open source password manager - Proton Pass • Ad
  Securely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
• 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 2 weeks ago
• yangdanny97 / fire-emblem-chess

  View on GitHub
  Fire Emblem themed pass & play browser chess game, implemented in ReScript
  ☆14Updated this week
• 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 5 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
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• 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
  ☆18Sep 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
• ecodeclub / ecache

  View on GitHub
  统一缓存 API
  ☆18Jul 19, 2024Updated last year
• 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
  ☆27Jul 2, 2019Updated 6 years ago
• 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
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• Monash-Civil-CV-Team / FCS-Net

  View on GitHub
  ☆10Nov 1, 2021Updated 4 years ago
• 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》笔记
  ☆36Feb 2, 2015Updated 11 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 week
• freeman42x / awesome-agda-programming

  View on GitHub
  Awesome Agda Programming
  ☆19Sep 22, 2025Updated 7 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