Alternatives and similar repositories for book-assets

Users that are interested in book-assets are comparing it to the libraries listed below

• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• verse-lab / obatcher_ds
  ☆19Updated 9 months ago
• katydid / regex-deriv-lean
  Proofs written in Lean4 for the core katydid validation algorithm
  ☆16Updated last week
• sdiehl / tiny-gpt2
  A reference implementation of GPT-2 in Python, for teaching ML compilers
  ☆12Updated this week
• mattecapu / categorical-systems-theory
  ☆40Updated last month
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆63Updated 2 weeks ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆66Updated last month
• chshersh / chshersh.github.io
  My website
  ☆25Updated 5 months ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆131Updated last month
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆99Updated 3 weeks ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated 8 months ago
• kayceesrk / cs6225_s25_iitm
  Programs and Proofs -- Spring 2025 -- IITM
  ☆16Updated 3 weeks ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• dfithian / dfdb
  Write my own database from scratch
  ☆17Updated 3 years ago
• isovector / functional-design-patterns
  could it be?
  ☆18Updated 10 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• dpiponi / StableBlog
  More stable versions of some articles from my blog
  ☆28Updated last month
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆50Updated 4 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆54Updated 10 months ago
• lawrencecpaulson / lawrencecpaulson.github.io
  the blog "Machine Logic"
  ☆18Updated this week
• wala / MemSAT
  ☆12Updated last year
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 5 months ago
• hwayne / tlaplus-exercises
  Some experiments in making exercises for teaching TLA+
  ☆18Updated 3 weeks ago
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 5 months ago
• redixhumayun / dst
  ☆16Updated 6 months ago
• joewhaley / bddbddb
  ☆11Updated 9 years ago