Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
☆18Oct 24, 2023Updated 2 years ago
Alternatives and similar repositories for Fsharp-Teaching
Users that are interested in Fsharp-Teaching are comparing it to the libraries listed below
Sorting:
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Aug 16, 2023Updated 2 years ago
- A Vim plugin that provides a convenient interactive calculator inside a buffer.☆16Apr 21, 2018Updated 7 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Generate C++ method implementations from declarations☆17Aug 5, 2025Updated 7 months ago
- [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems☆14Jul 8, 2024Updated last year
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆28Sep 8, 2025Updated 6 months ago
- A simpler Enum for Python 3.☆23Jun 3, 2013Updated 12 years ago
- A package manager for the Fennel language.☆31Apr 3, 2022Updated 3 years ago
- gradient-based symbolic execution engine implemented from scratch☆37Dec 16, 2023Updated 2 years ago
- A TypeScript/JavaScript library to implement the OAuth2 AuthCode flow with PKCE - the only recommended flow for web applications☆15Sep 19, 2023Updated 2 years ago
- A compiler to automatically transform applications into disaggregated memory apps.☆16Nov 16, 2023Updated 2 years ago
- Vim plugin that makes GUI experience better under Windows☆10Sep 23, 2021Updated 4 years ago
- Compiler for a small Scala subset☆38Apr 4, 2025Updated 11 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆23Feb 27, 2026Updated 3 weeks ago
- minimal (n)vim plugins - buffer tabline(Under 200 LOC)☆16May 21, 2020Updated 5 years ago
- A domain specific language for guitar tablatures typesetting based on an old and almost lost music notation.☆18Nov 2, 2020Updated 5 years ago
- Contract-first REST APIs in Django☆15Jan 11, 2025Updated last year
- My home configs and dotfiles☆16Nov 16, 2021Updated 4 years ago
- A neovim plugin for rnoweb files☆19Jan 29, 2026Updated last month
- A library to aid the use of musical concepts in lua projects.☆20Apr 13, 2014Updated 11 years ago
- ☆10May 17, 2022Updated 3 years ago
- PowerShell scripts to maintain custom X.509 certificate in Windows Remote Desktop☆14Mar 7, 2021Updated 5 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- Capture webpage and save as image using chromedp☆18Mar 1, 2026Updated 2 weeks ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 3 months ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 years ago
- Collection of patches for nginx to run it as a Nanos unikernel☆11Sep 21, 2023Updated 2 years ago
- Babel for Pandoc☆23Oct 24, 2014Updated 11 years ago
- Save and restore window positions on Windows XP/7/10☆23Jun 4, 2017Updated 8 years ago
- tamper resistant audit log☆17Aug 30, 2018Updated 7 years ago
- ☆26Nov 28, 2019Updated 6 years ago
- Emacs package for LLM-assisted code/text completion☆37Nov 12, 2025Updated 4 months ago
- Create BAN entries for iptables.☆12Oct 8, 2019Updated 6 years ago
- Java JNI binding for mujoco physics system☆14Mar 18, 2025Updated last year
- speeds up your Rust program's execution by "priming" memory pages from your binary☆13Aug 22, 2024Updated last year
- A compiler from a subset of Rust to Brainfuck☆14Oct 2, 2024Updated last year
- The first version of the Samsung Internet Developer Advocacy dashboard - the new one is on Glitch here: https://glitch.com/~samsung-inter…☆11Nov 2, 2018Updated 7 years ago