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
Sorting:
- XKCD 3062β22Mar 13, 2025Updated 11 months ago
- ππ§ Prototype template #lang for Pollenβ11Nov 24, 2025Updated 3 months ago
- Lifting Reduction Semantics through Syntactic Sugarβ13May 13, 2018Updated 7 years ago
- Because why wouldn't you want to typeset Coq in Scribble?β10Oct 3, 2019Updated 6 years ago
- IITM Paradigms of Programming -- Monsoon 2025β18Nov 17, 2025Updated 3 months ago
- β12Jun 13, 2023Updated 2 years ago
- A Kafka client for Racket.β18Aug 4, 2025Updated 6 months ago
- A simple Racket package to display text tables with utf-8 boxesβ12Jun 28, 2023Updated 2 years ago
- β14Mar 10, 2021Updated 4 years ago
- Public helper code for p423/p523 students (Racket)β169Dec 9, 2025Updated 2 months ago
- Denotational Semantics of the Untyped Lambda Calculusβ17Feb 5, 2025Updated last year
- A program synthesizer for code in the How to Design Programs curriculumβ13Jan 6, 2024Updated 2 years ago
- β14Aug 19, 2025Updated 6 months ago
- Racket Equivalence Graph Libraryβ19May 24, 2022Updated 3 years ago
- Git repository for the course Logika v raΔunalniΕ‘tvuβ15Apr 5, 2022Updated 3 years ago
- Web page for IU Compiler Course for Fall 2020β132Dec 11, 2020Updated 5 years ago
- Refreshed parsec-style library for compatibility with Scala parsleyβ22Nov 5, 2025Updated 3 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verificationβ17May 10, 2022Updated 3 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProverβ19Jul 25, 2023Updated 2 years ago
- Sound and efficient gradual typing via contract verification.β20Aug 3, 2023Updated 2 years ago
- A diagram drawing library for Racketβ20Dec 16, 2020Updated 5 years ago
- emacs package for pattern-based rewriting of sexp-structured codeβ40Dec 21, 2021Updated 4 years ago
- π©Ί A library for compiler diagnosticsβ52Nov 21, 2025Updated 3 months ago
- The WebRacket language is a subset of Racket that compiles to WebAssemblyβ115Updated this week
- β19Mar 10, 2023Updated 2 years ago
- β18Nov 23, 2021Updated 4 years ago
- OCaml reading group at IIT Madrasβ25Sep 20, 2025Updated 5 months ago
- πβοΈ RSS / Atom feed generation library for Racketβ22Nov 24, 2025Updated 3 months ago
- 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
- The WIP book for CPSC 411β69Updated this week
- PLT Redex model of basic Dependently Typed Racket calculusβ18Mar 31, 2015Updated 10 years ago
- β39Feb 21, 2026Updated last week
- A dataframe library for Scheme (R6RS)β24Nov 5, 2025Updated 3 months ago
- My Attempt at System FΟ with Row-Polymorphismβ30Jul 4, 2021Updated 4 years ago
- Infrastructure to autograde Racket code on Gradescopeβ17Feb 4, 2025Updated last year
- A concurrent library based on cooperative scheduling of user-level threads(fibers) implemented in C++β27Jun 15, 2022Updated 3 years ago
- 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
- β22Feb 22, 2020Updated 6 years ago
- A pretty-printing combinator library for OCamlβ50Aug 7, 2024Updated last year