Visualizes students’ past feedbacks on both courses and professors
☆22Jan 30, 2021Updated 5 years ago
Alternatives and similar repositories for uoft-profs
Users that are interested in uoft-profs are comparing it to the libraries listed below
Sorting:
- SIGPLAN website☆13Feb 23, 2026Updated last week
- A mod adding a Minecraft-inspired Enchantment Table for Minetest☆10Mar 6, 2021Updated 4 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Automatic Amazon Containerization for Firefox☆11May 16, 2025Updated 9 months ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- This project scrapes the entire public history of a Reddit user given their username☆14Dec 8, 2022Updated 3 years ago
- CI/CD pipelines for Kogito☆14Feb 24, 2026Updated last week
- LaTeX-style unicode input for Visual Studio Code☆11Mar 28, 2024Updated last year
- Minimal, efficient proof language☆14May 28, 2019Updated 6 years ago
- A web interface for Red-Index☆12Mar 28, 2024Updated last year
- ☆15Oct 31, 2023Updated 2 years ago
- Rocqet proof language☆28Aug 11, 2025Updated 6 months ago
- Universal DLL PluginLoader☆15May 19, 2019Updated 6 years ago
- ☆13Feb 14, 2022Updated 4 years ago
- Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories☆15Oct 18, 2025Updated 4 months ago
- A Stardew Valley mod that displays a tooltip with an NPC's gift tastes.☆17Dec 8, 2022Updated 3 years ago
- ☆10Jan 19, 2019Updated 7 years ago
- Face completion using Generative Adversarial Networks☆11Sep 21, 2017Updated 8 years ago
- Inspired by @say4n☆19Nov 11, 2019Updated 6 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- Library of Coq proof automation☆16Feb 15, 2022Updated 4 years ago
- A scif-fi retro style MS-DOS console built with ReactJS☆11Jan 5, 2021Updated 5 years ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- Ambience Mod for Minetest c55☆12Apr 12, 2017Updated 8 years ago
- SDL Audio Output Plugin for FMOD Studio☆20Feb 20, 2025Updated last year
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- some my implementation of content in PPA☆18Nov 3, 2020Updated 5 years ago
- Adding extensions to DOT calculus☆24Jan 19, 2020Updated 6 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 3 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Nov 21, 2018Updated 7 years ago
- Normalization by evaluation of simply typed combinators.☆26Feb 24, 2022Updated 4 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 2024Updated last year
- template operator is a Kubernetes operator, for runtime, reconciliation-based templating providing a simple way to create composite CRD's…☆26Jun 20, 2023Updated 2 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Apr 7, 2022Updated 3 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Nov 24, 2025Updated 3 months ago
- ☆30Apr 27, 2023Updated 2 years ago
- (Deprecated)Rem Programming Language: a playful dynamic language with all modern syntax sugars.☆25May 23, 2018Updated 7 years ago