Source code for student lectures on dependent type theory.
☆12Jun 9, 2025Updated 8 months ago
Alternatives and similar repositories for tt-lectures
Users that are interested in tt-lectures are comparing it to the libraries listed below
Sorting:
- An academic Touying theme for creating presentation slides in Typst for members of the University of Strasbourg, France☆16Nov 16, 2025Updated 3 months ago
- A tiny tikzzz editor in the browser☆10Mar 29, 2025Updated 11 months ago
- A Typst book template inspired by kaobook☆24Apr 13, 2025Updated 10 months ago
- Touying Slide Theme for Beihang University☆24Mar 8, 2025Updated 11 months ago
- AI conference templates in Typst☆25May 5, 2023Updated 2 years ago
- 这里分享了一些我写的实用代码，部分已编译成可直接使用的程序，大家可以去 Releases 下载。☆12Jan 21, 2026Updated last month
- ⚛ opinionated electron application template☆12Jun 20, 2024Updated last year
- 服务群众：给群众搭建一个南大开源镜像站的帮助文档网站。☆20Dec 29, 2021Updated 4 years ago
- An expo module to access the new Android credential Manager. Supports username/password, Passkeys and Google Sign In. This module is buil…☆11Oct 29, 2025Updated 4 months ago
- Interactive demo of the Boyer-Moore string search algorithm☆12Jun 6, 2020Updated 5 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Updated this week
- Benchmarking LLMs on Typst☆19May 26, 2025Updated 9 months ago
- 金账本是一款基于Python开发的个人财务管理应用，帮助用户轻松记录和追踪日常收支。本地部署，个人使用，无数据泄露风险。也可以搭建服务器部署，浏览器或者手机远程访问，支持简单鉴权☆13Feb 26, 2026Updated last week
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Feb 26, 2026Updated last week
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆21Jul 24, 2025Updated 7 months ago
- A VS Code extension that adds Markdown-like editing niceties for typst (.typ) files.☆10Feb 21, 2026Updated last week
- ☆11Oct 22, 2020Updated 5 years ago
- NJU-IT侠聊天机器人☆10Dec 13, 2021Updated 4 years ago
- My notes about tech (Linux/R/Julia/Python/Cpp/etc.)☆12Jul 15, 2025Updated 7 months ago
- 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
- Project to help FTC teams integrate neural nets into their robots for object detection.☆13Jul 2, 2017Updated 8 years ago
- Pierrot's Neovim flake☆12Jan 18, 2026Updated last month
- ☆15Sep 22, 2023Updated 2 years ago
- ✒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 last year
- 收集LUG@NJU群的精华消息，好玩就行。☆12Jun 22, 2022Updated 3 years ago
- ☆12Mar 24, 2024Updated last year
- A visualizer for Docker Swarm using the Docker Remote API, Node.JS, and D3☆12Sep 30, 2016Updated 9 years ago
- IBM Quantum Experience Wrapper☆16Feb 23, 2024Updated 2 years ago
- Automatically exported from code.google.com/p/eqntott☆15Sep 23, 2015Updated 10 years ago
- Scraper for PhET Science & Math Interactive Simulations☆13Updated this week
- 哈尔滨工业大学蓬莱人形算法程序设计竞赛模板归档☆21Aug 28, 2025Updated 6 months ago
- A Goldennum Game battleground.☆11Mar 6, 2023Updated 3 years ago
- Terminal Program to do SVG to ASCII art☆13Oct 3, 2020Updated 5 years ago
- The dread tikzmark arrives on github☆15Oct 2, 2025Updated 5 months ago
- Programming in Haskell (2nd ed) by Graham Hutton☆12Dec 4, 2024Updated last year
- VS Code extension for Typst math calculating, includes Arithmetic, Calculous, Matrix, Custom Variances and Funcions by yourself☆50Jan 28, 2024Updated 2 years ago
- A clean and dynamic polylux presentation template for typst 0.10☆15Apr 24, 2025Updated 10 months ago
- An interpreter of the Lox scripting language, implemented in C☆14Nov 19, 2023Updated 2 years ago