Source code for student lectures on dependent type theory.
☆12Jun 9, 2025Updated last year
Alternatives and similar repositories for tt-lectures
Users that are interested in tt-lectures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Touying theme for Southeast University 东南大学幻灯片模板（typst）☆22Jun 4, 2024Updated 2 years ago
- AI conference templates in Typst☆25May 5, 2023Updated 3 years ago
- ☆12Sep 26, 2025Updated last year
- Touying Slide Theme for Beihang University☆28Mar 8, 2025Updated last year
- Tufte-inspired template for Typst☆44Jul 4, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Get started on your Machine Learning or Deep Learning projects with the best practices!☆10Sep 23, 2026Updated last month
- 基于QT与C++的地铁自动售票系统☆12Sep 4, 2021Updated 5 years ago
- ☆20Nov 28, 2023Updated 2 years ago
- 东南大学 2021 级计算机专业操作系统课程实验 - Operating System Labwork source code in Dr.Kai Dong's Operating System Class. Based on OSTEP.☆15Jun 17, 2023Updated 3 years ago
- FlashPascal compiler released under GPL☆15Jun 10, 2019Updated 7 years ago
- A Typst book template inspired by kaobook☆31May 5, 2026Updated 5 months ago
- 服务群众：给群众搭建一个南大开源镜像站的帮助文档网站。☆20Dec 29, 2021Updated 4 years ago
- 北京大学 Typst 模版库☆15May 10, 2024Updated 2 years ago
- A VS Code extension to simplify math writing in Typst☆33Jun 30, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆45Feb 24, 2025Updated last year
- R markdown format and template for light-on-dark beamer presentations—with fussy extras.☆12Nov 1, 2021Updated 5 years ago
- MCP server for managing local PTY sessions and SSH-backed remote workflows that you really want.☆15Apr 10, 2026Updated 6 months ago
- 一个复旦幻灯片的 Typst 主题。An unofficial Fudan slide theme for Typst.☆16Mar 19, 2024Updated 2 years ago
- My notes about tech (Linux/R/Julia/Python/Cpp/etc.)☆12Jul 15, 2025Updated last year
- A Delphi Include file of Delphi versions compiler directives.☆12Jan 18, 2026Updated 9 months ago
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- Official data and code for the paper "VisBrowse-Bench: Benchmarking Visual-Native Search for Multimodal Browsing Agents".☆14Mar 18, 2026Updated 7 months ago
- An example 2-node cluster with a slurm controller for running gromacs☆11Dec 5, 2016Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- WSL1 Compatibility Library☆15Oct 20, 2026Updated last week
- Collaborative editing of 3D world using Castle Game Engine and mORMot2☆11Oct 6, 2025Updated last year
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 4 years ago
- Use AI agents from the DSH session UI.☆16Updated this week
- An expo module to access the new Android credential Manager. Supports username/password, Passkeys and Google Sign In. This module is buil…☆12Oct 29, 2025Updated last year
- ☆23Jun 23, 2025Updated last year
- A typst touying based presentation template☆21May 10, 2026Updated 5 months ago
- Effect-native virtual filesystem packages: a runtime-neutral core and an in-memory FileSystem implementation.☆14Oct 22, 2026Updated last week
- Deployed version of Tableaunoir. Do not modify this repository.☆11Apr 19, 2026Updated 6 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ✒PrismBlue is a neat little text editor that works quickly and doesn't consume much! Available for Windows, Mac, and Linux and supports a…☆10Jun 24, 2024Updated 2 years ago
- A clean and dynamic polylux presentation template for typst 0.10☆19Apr 24, 2025Updated last year
- A Python and Jsonnet framework for handling espanso configurations☆11Oct 6, 2025Updated last year
- Create online apps using Typst☆12May 17, 2025Updated last year
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau☆16Oct 17, 2026Updated 2 weeks ago
- A VS Code extension that adds Markdown-like editing niceties for typst (.typ) files.☆12Feb 21, 2026Updated 8 months ago