archermarx / etudesLinks
Solutions from Etudes for Programmers
☆18Updated 4 years ago
Alternatives and similar repositories for etudes
Users that are interested in etudes are comparing it to the libraries listed below
Sorting:
- ☆121Updated 10 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆171Updated this week
- Busy Beaver deciders backed by Coq proof☆56Updated 7 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆336Updated 5 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 2 weeks ago
- Program a bot using assembly-like code in this competitive game!☆58Updated 4 years ago
- A JavaScript implementation of Douglas Hofstadter and Melanie Mitchell's Copycat program.☆30Updated 2 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 3 years ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆310Updated last year
- Books that makes heavy use of visuals for scientific communication☆163Updated last year
- metamath proof enumerators and other things☆91Updated last year
- Catalog of visual lambda calculi☆157Updated 3 months ago
- I refer you to the name of the repository☆25Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- My personal repository of formally verified mathematics.☆305Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆307Updated 10 months ago
- Library of Intuitive Ordinal Notations (IONs)☆11Updated 5 years ago
- The A+ programming language from Morgan Stanley☆39Updated 11 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆117Updated this week
- Animations of lambda term reduction sequences☆152Updated 7 years ago
- Programming language for ternary computing☆31Updated 4 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated last year
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆250Updated last year
- ☆68Updated 4 months ago
- Metamath source file for logic and set theory☆295Updated this week
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- Compiler for the M language, used to compute the income tax of French taxpayers☆196Updated 3 weeks ago
- Short essays I've written☆78Updated last year