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 last month

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
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• 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
  ☆20Mar 21, 2026Updated last week
• 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
  ☆36Mar 31, 2022Updated 3 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
  ☆12Dec 6, 2024Updated last year
• talas9 / tesla_can_signals

  View on GitHub
  Tesla CAN bus messages and signals for 3, Y, S and X
  ☆13Sep 10, 2023Updated 2 years ago
• MicrochipTech / classb_mcu32

  View on GitHub
  Microchip IEC/UL 60730 Class B Functional Safety Libraries - PIC32
  ☆13Jan 4, 2016Updated 10 years ago
• DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• nyu-cds / python-numba

  View on GitHub
  ☆11Dec 12, 2021Updated 4 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
  ☆39Oct 16, 2024Updated last year
• facundominguez / stitch-lh

  View on GitHub
  ☆11Feb 15, 2022Updated 4 years ago
• yangdanny97 / fire-emblem-chess

  View on GitHub
  Fire Emblem themed pass & play browser chess game, implemented in ReScript
  ☆13Nov 25, 2022Updated 3 years ago
• teach-plt / plt-errata

  View on GitHub
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Nov 13, 2025Updated 4 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
• yumosx / voyant

  View on GitHub
  [refactor] eBPF trace language
  ☆17Feb 1, 2026Updated last month
• NordVPN Special Discount Offer • Ad
  Save on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
• v0y4g3r / prom-write-request-bench

  View on GitHub
  ☆12Sep 4, 2025Updated 6 months 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
• mchakravarty / hoas-conv

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

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

  View on GitHub
  统一缓存 API
  ☆18Jul 19, 2024Updated last year
• yinwang0 / sicp

  View on GitHub
  HTML5/EPUB3 version of SICP
  ☆27Jul 2, 2019Updated 6 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 29, 2024Updated last year
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• freeman42x / awesome-agda-programming

  View on GitHub
  Awesome Agda Programming
  ☆19Sep 22, 2025Updated 6 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.
  ☆43Dec 4, 2025Updated 3 months ago
• leanprover-community / logic_and_proof

  View on GitHub
  ☆14Updated this week
• kripken / Relooper

  View on GitHub
  this repo is deprecated, see the binaryen repo
  ☆27Dec 5, 2019Updated 6 years ago
• wonks / wonks.github.io

  View on GitHub
  PL Wonks website
  ☆13Updated this week
• fast / template

  View on GitHub
  Fast template for developing a new Rust project
  ☆25Jan 9, 2026Updated 2 months ago