Alternatives and similar repositories for University-Notes

Users that are interested in University-Notes are comparing it to the libraries listed below

• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated 3 weeks ago
• janestreet / parallel
  OxCaml Parallelism
  ☆31Updated 2 months ago
• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• leanprover / cslib
  A Lean library for Computer Science
  ☆99Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆279Updated this week
• UniMath / Schools
  ☆88Updated 4 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆61Updated last month
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 5 months ago
• EduardoRFS / f-omega
  ☆12Updated 2 years ago
• aripiprazole / eq
  🧮 | Writing an Equation Solver
  ☆34Updated 2 years ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 10 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆58Updated 2 years ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆78Updated last week
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated 3 months ago
• HigherOrderCO / kindbook
  ☆52Updated 7 months ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 2 months ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated last month
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆31Updated 2 years ago
• RedPRL / cooltt
  😎TT
  ☆231Updated 3 weeks ago
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆43Updated this week
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆35Updated 8 months ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆144Updated 3 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆75Updated last month
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• liyishuai / coq-http
  HTTP specification in Coq, testable and verifiable
  ☆16Updated 2 years ago