Alternatives and similar repositories for etudes:

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

• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆49Updated last month
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆99Updated last year
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 8 months ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆45Updated 10 months ago
• codereport / Programming-Language-Meetups
  ☆19Updated 4 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆133Updated last week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated this week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆159Updated last year
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆160Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆113Updated this week
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆307Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆99Updated last year
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆113Updated last year
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆53Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 5 months ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆52Updated 3 months ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆129Updated last week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated last year
• AZHenley / bignum
  A bignum library for C.
  ☆32Updated 9 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆239Updated 4 months ago
• semitrivial / IONs
  Library of Intuitive Ordinal Notations (IONs)
  ☆11Updated 4 years ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆79Updated last month
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆58Updated 3 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆128Updated 6 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆108Updated last week
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago