Alternatives and similar repositories for University-Notes

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

• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• janestreet / parallel
  OxCaml Parallelism
  ☆37Updated 3 weeks ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated this week
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆87Updated last month
• EduardoRFS / f-omega
  ☆12Updated 3 years ago
• leanprover / cslib
  The Lean Computer Science Library (CSLib)
  ☆261Updated this week
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆68Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆310Updated this week
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆30Updated 4 months ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆133Updated 3 weeks ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆91Updated last month
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆123Updated last year
• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆65Updated last week
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆94Updated 10 months ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆270Updated last year
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆70Updated last year
• rocq-prover / stdlib
  Stdlib for the Rocq Prover
  ☆30Updated last week
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆206Updated 4 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆231Updated last week
• clarksmr / sf-lectures
  Software Foundations
  ☆151Updated last year
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆370Updated this week
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆31Updated 6 months ago
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆87Updated last year
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆158Updated this week
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆75Updated 2 years ago