IUCompilerCourse/IU-Fall-2021 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

IUCompilerCourse/IU-Fall-2021

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/IUCompilerCourse/IU-Fall-2021)

Close

IUCompilerCourse / IU-Fall-2021View on GitHubMore

• External links
• Readme badge

Course web page for Fall 2021.

☆22Dec 26, 2021Updated 4 years ago

Alternatives and similar repositories for IU-Fall-2021

Users that are interested in IU-Fall-2021 are comparing it to the libraries listed below

• shriram / xkcd-3062

  View on GitHub
  XKCD 3062
  ☆22Mar 13, 2025Updated 11 months ago
• otherjoel / beeswax

  View on GitHub
  🐝🧇 Prototype template #lang for Pollen
  ☆11Nov 24, 2025Updated 3 months ago
• brownplt / Resugarer

  View on GitHub
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13May 13, 2018Updated 7 years ago
• wilbowma / scribble-coq

  View on GitHub
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Oct 3, 2019Updated 6 years ago
• kayceesrk / cs3100_m25

  View on GitHub
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Nov 17, 2025Updated 3 months ago
• hanleyc01 / rkttt

  View on GitHub
  ☆12Jun 13, 2023Updated 2 years ago
• Bogdanp / racket-kafka

  View on GitHub
  A Kafka client for Racket.
  ☆18Aug 4, 2025Updated 6 months ago
• Metaxal / text-table

  View on GitHub
  A simple Racket package to display text tables with utf-8 boxes
  ☆12Jun 28, 2023Updated 2 years ago
• pre-srfi / static-scheme

  View on GitHub
  ☆14Mar 10, 2021Updated 4 years ago
• IUCompilerCourse / public-student-support-code

  View on GitHub
  Public helper code for p423/p523 students (Racket)
  ☆169Dec 9, 2025Updated 2 months ago
• sweirich / lambda-calculus

  View on GitHub
  Denotational Semantics of the Untyped Lambda Calculus
  ☆17Feb 5, 2025Updated last year
• ralsei / bingus

  View on GitHub
  A program synthesizer for code in the How to Design Programs curriculum
  ☆13Jan 6, 2024Updated 2 years ago
• paralab / Finch

  View on GitHub
  ☆14Aug 19, 2025Updated 6 months ago
• herbie-fp / regraph

  View on GitHub
  Racket Equivalence Graph Library
  ☆19May 24, 2022Updated 3 years ago
• danelahman / lograc-2022

  View on GitHub
  Git repository for the course Logika v računalništvu
  ☆15Apr 5, 2022Updated 3 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020

  View on GitHub
  Web page for IU Compiler Course for Fall 2020
  ☆132Dec 11, 2020Updated 5 years ago
• j-mie6 / gigaparsec

  View on GitHub
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆22Nov 5, 2025Updated 3 months ago
• trackoor / AwesomePL

  View on GitHub
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17May 10, 2022Updated 3 years ago
• funexists / coq-lean-cheatsheet

  View on GitHub
  A Cheat Sheet for Coq Developers who want to try LeanProver
  ☆19Jul 25, 2023Updated 2 years ago
• camoy / corpse-reviver

  View on GitHub
  Sound and efficient gradual typing via contract verification.
  ☆20Aug 3, 2023Updated 2 years ago
• florence / diagrama

  View on GitHub
  A diagram drawing library for Racket
  ☆20Dec 16, 2020Updated 5 years ago
• rmculpepper / sexp-rewrite

  View on GitHub
  emacs package for pattern-based rewriting of sexp-structured code
  ☆40Dec 21, 2021Updated 4 years ago
• RedPRL / asai

  View on GitHub
  🩺 A library for compiler diagnostics
  ☆52Nov 21, 2025Updated 3 months ago
• soegaard / webracket

  View on GitHub
  The WebRacket language is a subset of Racket that compiles to WebAssembly
  ☆115Updated this week
• samdphillips / raco-static-web

  View on GitHub
  ☆19Mar 10, 2023Updated 2 years ago
• pnwamk / sst-tutorial

  View on GitHub
  ☆18Nov 23, 2021Updated 4 years ago
• fplaunchpad / iitm_ocaml_reading_group

  View on GitHub
  OCaml reading group at IIT Madras
  ☆25Sep 20, 2025Updated 5 months ago
• otherjoel / splitflap

  View on GitHub
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Nov 24, 2025Updated 3 months ago
• tlringer / proof-demos

  View on GitHub
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Jan 10, 2023Updated 3 years ago
• cpsc411 / cpsc411-book

  View on GitHub
  The WIP book for CPSC 411
  ☆69Updated this week
• pnwamk / stop2015-redex

  View on GitHub
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Mar 31, 2015Updated 10 years ago
• racket / eopl

  View on GitHub
  ☆39Feb 21, 2026Updated last week
• hinkelman / dataframe

  View on GitHub
  A dataframe library for Scheme (R6RS)
  ☆24Nov 5, 2025Updated 3 months ago
• tominated / system_f_omega

  View on GitHub
  My Attempt at System Fω with Row-Polymorphism
  ☆30Jul 4, 2021Updated 4 years ago
• shriram / gradescope-racket

  View on GitHub
  Infrastructure to autograde Racket code on Gradescope
  ☆17Feb 4, 2025Updated last year
• jserv / uThreads

  View on GitHub
  A concurrent library based on cooperative scheduling of user-level threads(fibers) implemented in C++
  ☆27Jun 15, 2022Updated 3 years ago
• andrejbauer / formalized-mathematics-in-lean

  View on GitHub
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆27Jan 10, 2025Updated last year
• stchang / mlish

  View on GitHub
  ☆22Feb 22, 2020Updated 6 years ago
• fpottier / pprint

  View on GitHub
  A pretty-printing combinator library for OCaml
  ☆50Aug 7, 2024Updated last year