vladimirias / old_notes_on_type_systemsView external linksLinks
Voevodsky's notes on type systems. This version contains more material than the one on his website.
☆11Jun 15, 2014Updated 11 years ago
Alternatives and similar repositories for old_notes_on_type_systems
Users that are interested in old_notes_on_type_systems are comparing it to the libraries listed below
Sorting:
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆58Sep 10, 2014Updated 11 years ago
- 🧊 Презентації та воркшопи☆19Jun 28, 2025Updated 7 months ago
- ☆10Nov 14, 2018Updated 7 years ago
- A simple api service to fetch information on diablo 2 information☆11Oct 13, 2021Updated 4 years ago
- Create snapshot commits on a not checked-out branch without touching the working tree or losing staged changes☆14Jul 1, 2025Updated 7 months ago
- Terminal UI that allows Alacritty users to quickly and easily shuffle through provided themes 🦄☆16Feb 14, 2022Updated 4 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 5 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 7 years ago
- Spectral and other frequency-based calculation objects developed by Tristan Murail☆10May 6, 2022Updated 3 years ago
- Dynamically add Constructable Stylesheets to your Stencil components.☆10Jul 6, 2023Updated 2 years ago
- Project for HIDING SPEAKER’S SEX IN SPEECH USING ZERO-EVIDENCE SPEAKER REPRESENTATION IN AN ANALYSIS/SYNTHESIS PIPELINE☆15Nov 30, 2022Updated 3 years ago
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 3 years ago
- Source Code for 'Agile Artificial Intelligence in Pharo' by Alexandre Bergel☆13Jan 19, 2026Updated 3 weeks ago
- ☆10Feb 22, 2016Updated 9 years ago
- ☆23Sep 22, 2021Updated 4 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- Notes about running Linux natively on the Google Pixel (completely getting rid of ChromeOS).☆20Sep 18, 2013Updated 12 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 3 months ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- Soundboard with no limits☆11Nov 18, 2025Updated 2 months ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 10 years ago
- A registry of publicly available datasets on AWS☆11Sep 8, 2023Updated 2 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++☆10Jun 17, 2016Updated 9 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- Tsar programming language☆16Dec 22, 2019Updated 6 years ago
- Library for Financial Applications (WP5)☆10Feb 26, 2025Updated 11 months ago
- Digital Ocean Tutorials 上一些文章的翻译,主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 9 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- simple gemini browser for reMarkable☆14Mar 10, 2021Updated 4 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- Customizable project headerline.☆14Mar 11, 2025Updated 11 months ago
- Pure Data vanilla patches☆11Dec 12, 2019Updated 6 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years ago
- a template for starting a rust-wasm project to be used with wasm-pack☆14Jun 3, 2019Updated 6 years ago
- bidirectional learning midi controls for supercollider☆12Feb 2, 2022Updated 4 years ago