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
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆272Updated this week
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• aripiprazole / eq
  🧮 | Writing an Equation Solver
  ☆34Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 3 months ago
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆34Updated 7 months ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• janestreet / parallel
  OxCaml Parallelism
  ☆30Updated last month
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆36Updated last week
• EduardoRFS / f-omega
  ☆12Updated 2 years ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆85Updated last month
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated last month
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆175Updated this week
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆265Updated 11 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆76Updated 3 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆160Updated last week
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆128Updated last month
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆117Updated this week
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆251Updated last month
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 7 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• UniMath / Schools
  ☆86Updated 2 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆153Updated 2 weeks ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆341Updated last week
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆58Updated last week
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 3 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆39Updated 2 weeks ago