Alternatives and similar repositories for University-Notes

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

• janestreet / parallel
  OxCaml Parallelism
  ☆34Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆292Updated this week
• leanprover / cslib
  A Lean library for Computer Science
  ☆169Updated this week
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆28Updated last month
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆251Updated last year
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆268Updated last year
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆222Updated 2 months ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆359Updated last week
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆130Updated 3 weeks ago
• ccz181078 / Coq-BB5
  ☆348Updated 2 months ago
• chasenorman / Canonical
  Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
  ☆75Updated this week
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆63Updated 2 years ago
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆105Updated last week
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆50Updated last month
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆415Updated 2 weeks ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆229Updated 2 weeks ago
• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆403Updated 3 weeks ago
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆192Updated this week
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆175Updated 3 months ago
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆570Updated this week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆255Updated 6 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆157Updated 2 weeks ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆222Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆250Updated last month
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆91Updated 7 months ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆151Updated 3 years ago