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 this week
• samueldurantes / haildo
  Toy programming language
  ☆19Updated 11 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆35Updated 8 months ago
• o-santi / functional-structures
  my studies through functional implementations of common data-structures
  ☆9Updated 2 years ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆72Updated last week
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆27Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆127Updated this week
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆82Updated 7 months ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆84Updated 3 weeks ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆136Updated this week
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆62Updated last year
• UniMath / Schools
  ☆83Updated last week
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆47Updated 3 weeks ago
• EduardoRFS / f-omega
  ☆12Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 9 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• ethanrange / safe-pattern-generation
  Type-safe statically unknown pattern generation in MetaOCaml
  ☆11Updated 10 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated 9 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 11 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• leanprover-community / lean-auto
  Experiments in automation for Lean
  ☆101Updated this week
• EduardoRFS / youtube-channel
  ☆48Updated 2 years ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆28Updated 3 years ago
• CharlesAverill / proofchat
  A verified(?) TCP client/server chat application
  ☆23Updated 7 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆183Updated this week