Alternatives and similar repositories for lectures

Users that are interested in lectures are comparing it to the libraries listed below

• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• owlbarn / tutorial
  Owl Tutorial
  ☆5Updated 7 months ago
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆52Updated 6 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 3 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆64Updated last month
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 3 weeks ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆58Updated last month
• Dyalog / vecdb
  A simple "columnar database" based on memory-mapped files, written in APL
  ☆34Updated 5 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• benediktahrens / CT4P
  ☆34Updated 8 months ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• adam-mcdaniel / markdown-to-html
  A Markdown to HTML compiler written in Haskell.
  ☆16Updated last year
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆81Updated 3 weeks ago
• ivanmurashko / courseragalois
  Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)
  ☆15Updated 2 years ago
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆165Updated 3 weeks ago
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆15Updated 5 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 3 years ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆9Updated last year
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆169Updated 4 years ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated 11 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated this week
• graninas / Haskell-Algorithms
  Learning Haskell: algorithms, data structures, mini-programs, materials, excercises
  ☆17Updated 5 years ago