Alternatives and similar repositories for University-Notes

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

• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• leanprover / cslib
  A Lean library for Computer Science
  ☆137Updated this week
• janestreet / parallel
  OxCaml Parallelism
  ☆33Updated last week
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆80Updated last week
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated last week
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆130Updated last week
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆89Updated last week
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆61Updated 3 months ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 2 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆72Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆91Updated 6 months ago
• rocq-prover / stdlib
  Stdlib for the Rocq Prover
  ☆29Updated last week
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆32Updated 2 years ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 2 weeks ago
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆85Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆56Updated 9 months ago
• aripiprazole / eq
  🧮 | Writing an Equation Solver
  ☆34Updated 2 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆29Updated 2 months ago
• ocaml / ocaml.org
  The official OCaml website.
  ☆179Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆288Updated last week
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆122Updated 3 months ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆112Updated last month
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆100Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆251Updated 4 months ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆147Updated 3 years ago