LaTeX source for Sized Dependent Types via Extensional Type Theory
☆12Jan 28, 2026Updated last month
Alternatives and similar repositories for msc-thesis
Users that are interested in msc-thesis are comparing it to the libraries listed below
Sorting:
- Sora2 Watermark Remover - AI-powered video watermark removal tool using deep learning. Built with Next.js 15, ComfyUI API & advanced comp…☆24Oct 13, 2025Updated 4 months ago
- Um script completo capaz de poupar vários minutos de configuração pós-formatação - Gratuito e de código aberto.☆11Oct 30, 2025Updated 4 months ago
- Containerize and deploy popular fullstacks, microservices, and Big Data workloads using Containerd, Docker, Docker compose, and Docker sw…☆11Jan 29, 2026Updated last month
- KCL Interface to UKB Project Data on Rosalind HPC cluster☆14Apr 22, 2023Updated 2 years ago
- ☆10Sep 4, 2021Updated 4 years ago
- Digitized VHS Cassette Editing with Python☆10Mar 20, 2025Updated 11 months ago
- 💬 Chat/Speech bubble layout with various properties such as arrow width, height, background color, shadow to create similar bubbles what…☆10Dec 22, 2021Updated 4 years ago
- Mod for Factorio☆12Jul 10, 2025Updated 7 months ago
- SQL preprocessor for LaTeX☆11Nov 2, 2025Updated 4 months ago
- Race Condition Running☆11Feb 22, 2026Updated last week
- An extension to interact with DeSo Blockchain on few simple clicks 🥳☆12Jan 25, 2024Updated 2 years ago
- A lisp inspired functional programming language which compiles to WebAssembly☆18Aug 14, 2024Updated last year
- Dart package to support Wake-on-LAN functionality☆11Oct 7, 2024Updated last year
- Short example for vite-plugin-federation and react☆11Oct 20, 2022Updated 3 years ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 5 years ago
- Supercharged pandas indexing☆11Mar 28, 2021Updated 4 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- ☆14May 7, 2023Updated 2 years ago
- Like dataclasses but for config.☆10Jan 13, 2025Updated last year
- This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.☆10Nov 23, 2022Updated 3 years ago
- LaTeX Build Quality Control: checks the log file after LaTeX and finds error reports☆12Feb 17, 2026Updated 2 weeks ago
- ☆10Jul 14, 2018Updated 7 years ago
- Peach - the porn organizer☆12Jun 10, 2024Updated last year
- A C# GitHub client with a Winforms UI☆16Jul 21, 2018Updated 7 years ago
- A utility to parse mpeg dash mpd files quickly☆20Jun 21, 2025Updated 8 months ago
- Open-source, Cloud-native Streams☆12Apr 7, 2021Updated 4 years ago
- ☆13Feb 16, 2017Updated 9 years ago
- ☆10Dec 9, 2018Updated 7 years ago
- Google Cloud DNS provider implementation for libdns interfaces☆13Jun 24, 2025Updated 8 months ago
- ☆12Sep 12, 2022Updated 3 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- Debian packaging for Docker bits (Docker CLI, Engine, containerd, etc.)☆13Jan 15, 2026Updated last month
- ⏱ Unity-like updates for react-three-fiber☆13Aug 31, 2022Updated 3 years ago
- Useful property variants for Python programming☆13Mar 2, 2020Updated 6 years ago
- Fast asynchronous GPU monitoring tool across multiple machines through SSH☆11Nov 26, 2024Updated last year
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Secure cookie middleware for Starlette applications.☆17Jul 10, 2023Updated 2 years ago
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 years ago