irinacake / notesMaster1Links
Master 1 Informatique (2022-2023) at Université Paul Sabatier - public sharing of notes taken from classes
☆16Updated last year
Alternatives and similar repositories for notesMaster1
Users that are interested in notesMaster1 are comparing it to the libraries listed below
Sorting:
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- Repository of the FTML Epita course.☆38Updated last week
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated 2 weeks ago
- Visual Studio Code extension for Coq☆391Updated 2 weeks ago
- A tui-based PDF viewer☆1,182Updated last week
- This repo leverages GNU Stow to simplify symlink management, making it easy to install and update configurations across different machine…☆11Updated last week
- Learning Modules of PWNEU.☆35Updated last month
- ☆11Updated 4 months ago
- My solutions to Software Foundations course in Coq proof assistant.☆36Updated last year
- A program for making zooming slides in figma.☆37Updated 3 months ago
- A set of tools to make the intra better☆18Updated this week
- Scientific computing in Lean 4☆413Updated 2 weeks ago
- A package for creating slides in Typst☆1,358Updated 4 months ago
- CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.☆1,311Updated this week
- Neovim support for the Lean theorem prover☆361Updated this week
- Graduate seminar on the modern history of modal logic☆10Updated last month
- Typst package for drawing diagrams with arrows, built on top of CeTZ.☆672Updated 2 weeks ago
- Low latency typst preview for Neovim☆511Updated last month
- [Deprecated] An early language server for Typst, plus a VS Code extension☆1,179Updated 7 months ago
- Formal verification for OCaml☆265Updated 10 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆218Updated 3 months ago
- Clustering notions for the knowledge LaTeX package☆17Updated 3 weeks ago
- A proof assistant for higher-dimensional type theory☆200Updated last week
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆243Updated 5 months ago
- A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performa…☆859Updated last month
- Interactive Coq Proofs in Vim☆294Updated 3 weeks ago
- ☆309Updated 2 months ago
- Interactive online editor for the cyclone specification language☆13Updated 2 months ago
- OCaml - Oxidized!☆363Updated this week
- Repository for homeworks.☆10Updated 4 years ago