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
  ☆33Updated last month
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated this week
• leanprover / cslib
  A Lean library for Computer Science
  ☆149Updated this week
• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆62Updated 2 years ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 3 years ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆268Updated last year
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆356Updated this week
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆191Updated this week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆253Updated 5 months ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆130Updated last month
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆91Updated 7 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆86Updated 3 weeks ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated last month
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆89Updated 3 weeks ago
• rocq-prover / stdlib
  Stdlib for the Rocq Prover
  ☆30Updated last week
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆410Updated last week
• chasenorman / Canonical
  Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
  ☆75Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆290Updated 3 weeks ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated 2 years ago
• janestreet / torch
  ☆139Updated this week
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆85Updated last year
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated last month
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆123Updated 3 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆63Updated 2 months ago
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆547Updated this week