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

• vladimirias / Foundations

  View on GitHub
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆58Sep 10, 2014Updated 11 years ago
• groupoid / cafe

  View on GitHub
  🧊 Презентації та воркшопи
  ☆19Jun 28, 2025Updated 7 months ago
• abelosorio / how-to-become-a-senior-web-developer

  View on GitHub
  ☆10Nov 14, 2018Updated 7 years ago
• mrsteele / hellforge

  View on GitHub
  A simple api service to fetch information on diablo 2 information
  ☆11Oct 13, 2021Updated 4 years ago
• meribold / git-snap

  View on GitHub
  Create snapshot commits on a not checked-out branch without touching the working tree or losing staged changes
  ☆14Jul 1, 2025Updated 7 months ago
• solidiquis / alac-pretty

  View on GitHub
  Terminal UI that allows Alacritty users to quickly and easily shuffle through provided themes 🦄
  ☆16Feb 14, 2022Updated 4 years ago
• m-yac / agda-knots

  View on GitHub
  An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
  ☆15Oct 15, 2018Updated 7 years ago
• michaelmrose / rdr

  View on GitHub
  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
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago
• GeraldWodni / f

  View on GitHub
  Forth package manager for theForthNet
  ☆14Apr 4, 2018Updated 7 years ago
• openmusic-project / OMTristan

  View on GitHub
  Spectral and other frequency-based calculation objects developed by Tristan Murail
  ☆10May 6, 2022Updated 3 years ago
• bodinaren / stencil-constructible-style

  View on GitHub
  Dynamically add Constructable Stylesheets to your Stencil components.
  ☆10Jul 6, 2023Updated 2 years ago
• nii-yamagishilab / speaker_sex_attribute_privacy

  View on GitHub
  Project for HIDING SPEAKER’S SEX IN SPEECH USING ZERO-EVIDENCE SPEAKER REPRESENTATION IN AN ANALYSIS/SYNTHESIS PIPELINE
  ☆15Nov 30, 2022Updated 3 years ago
• madskjeldgaard / workshop-materials-3d-music-supercollider

  View on GitHub
  Workshop material: Composing 3D music using SuperCollider and ambisonics
  ☆11Oct 1, 2022Updated 3 years ago
• coentjo / agile-ai-in-pharo

  View on GitHub
  Source Code for 'Agile Artificial Intelligence in Pharo' by Alexandre Bergel
  ☆13Jan 19, 2026Updated 3 weeks ago
• kindohm / tidal-guide

  View on GitHub
  ☆10Feb 22, 2016Updated 9 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• project-everest / MLCrypto

  View on GitHub
  OCaml adapters for crypto providers used in Everest
  ☆10Sep 13, 2018Updated 7 years ago
• williamstein / linux-on-google-pixel

  View on GitHub
  Notes about running Linux natively on the Google Pixel (completely getting rid of ChromeOS).
  ☆20Sep 18, 2013Updated 12 years ago
• soxfox42 / tak

  View on GitHub
  tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)
  ☆14Oct 24, 2025Updated 3 months ago
• xieyuheng / exo

  View on GitHub
  logic programming in elixir
  ☆10Nov 1, 2018Updated 7 years ago
• DefinitelyTyped / docs

  View on GitHub
  DefinitelyTyped documentation-generator source + gh-pages
  ☆12Jun 26, 2014Updated 11 years ago
• Mcfloy / launchpad

  View on GitHub
  Soundboard with no limits
  ☆11Nov 18, 2025Updated 2 months ago
• UniMath / book

  View on GitHub
  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
• openEDI / open-data-registry

  View on GitHub
  A registry of publicly available datasets on AWS
  ☆11Sep 8, 2023Updated 2 years ago
• rami3l / yascm

  View on GitHub
  Yet another Scheme interpreter.
  ☆11Sep 17, 2022Updated 3 years ago
• openpnp / Smoothieware

  View on GitHub
  Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++
  ☆10Jun 17, 2016Updated 9 years ago
• webyrd / wreckto-verseo

  View on GitHub
  Experiments with the Verse Calculus in miniKanren
  ☆14Sep 17, 2023Updated 2 years ago
• adam-mcdaniel / tsar

  View on GitHub
  Tsar programming language
  ☆16Dec 22, 2019Updated 6 years ago
• NEASQC / FinancialApplications

  View on GitHub
  Library for Financial Applications (WP5)
  ☆10Feb 26, 2025Updated 11 months ago
• illuz / Digital-Ocean-Tutorials-zh

  View on GitHub
  Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials
  ☆12Jun 6, 2016Updated 9 years ago
• UberPyro / Prowl-Ideas-Pile

  View on GitHub
  Ideas, documents, and tutorial pile for the Prowl Language
  ☆12Aug 2, 2024Updated last year
• irth / rmgem

  View on GitHub
  simple gemini browser for reMarkable
  ☆14Mar 10, 2021Updated 4 years ago
• Ahnfelt / AlgorithmWStepByStep

  View on GitHub
  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
• gavv / project-headerline

  View on GitHub
  Customizable project headerline.
  ☆14Mar 11, 2025Updated 11 months ago
• stihilus / PureData

  View on GitHub
  Pure Data vanilla patches
  ☆11Dec 12, 2019Updated 6 years ago
• driver-oss / spray-json-derivation

  View on GitHub
  Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native
  ☆11Sep 12, 2018Updated 7 years ago
• ashleygwilliams / wasm-pack-template

  View on GitHub
  a template for starting a rust-wasm project to be used with wasm-pack
  ☆14Jun 3, 2019Updated 6 years ago
• shimpe / sc-midi-controls

  View on GitHub
  bidirectional learning midi controls for supercollider
  ☆12Feb 2, 2022Updated 4 years ago