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 last month
• samueldurantes / haildo
  Toy programming language
  ☆19Updated 10 months ago
• EduardoRFS / f-omega
  ☆12Updated 2 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆35Updated 7 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆71Updated last week
• aripiprazole / eq
  🧮 | Writing an Equation Solver
  ☆34Updated last year
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 6 years ago
• EduardoRFS / youtube-channel
  ☆48Updated 2 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆118Updated last year
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆33Updated 3 months ago
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 5 months ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated 9 months ago
• Khady / modern-ocaml
  Template for an ocaml project with modern tooling
  ☆80Updated 2 months ago
• Firobe / nes-ml
  NES emulator in OCaml
  ☆38Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆44Updated this week
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 8 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆25Updated last year
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆37Updated 5 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆64Updated 11 months ago
• o-santi / functional-structures
  my studies through functional implementations of common data-structures
  ☆9Updated 2 years ago
• EduardoRFS / thing
  A programming language, aka a THING
  ☆10Updated 4 years ago
• EduardoRFS / ppx_implicits
  ☆25Updated 3 years ago
• fraidev / tornado
  Tornado is a BitTorrent client written entirely in OCaml.
  ☆56Updated last year
• UniMath / Schools
  ☆83Updated 6 months ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆132Updated 2 years ago
• impermeable / coq-waterproof
  The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…
  ☆35Updated 2 weeks ago
• algebraic-dev / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆15Updated 2 years ago
• HigherOrderCO / kindbook
  ☆46Updated 2 months ago