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
  ☆19Updated last year
• janestreet / parallel
  OxCaml Parallelism
  ☆30Updated 2 weeks ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆75Updated 2 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• EduardoRFS / f-omega
  ☆12Updated 2 years ago
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆85Updated 9 months ago
• EduardoRFS / youtube-channel
  ☆48Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 11 months ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆36Updated last week
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated 11 months ago
• art-w / x-ocaml
  OCaml notebooks as a WebComponent
  ☆33Updated last month
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 2 months ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆108Updated 10 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆268Updated this week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆248Updated last month
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 3 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• UniMath / Schools
  ☆86Updated 2 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆128Updated 2 weeks ago
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 8 months ago
• Khady / modern-ocaml
  Template for an ocaml project with modern tooling
  ☆84Updated 4 months ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆73Updated last month
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated last month
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆50Updated 8 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated last year
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆53Updated 2 years ago