archermarx / etudes
Solutions from Etudes for Programmers
☆17Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for etudes
- Catalog of visual lambda calculi☆100Updated last year
- metamath proof enumerators and other things☆87Updated 3 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated last week
- A small, weird and unpractical programming language.☆102Updated this week
- Functional teaching language for use in a discrete mathematics course☆164Updated this week
- Search for ambiguities in context-free grammars.☆39Updated 3 years ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆13Updated 2 years ago
- Library of Intuitive Ordinal Notations (IONs)☆11Updated 4 years ago
- SKI combinators☆50Updated 7 years ago
- The WIP book for CPSC 411☆59Updated last month
- My slides and compilation of resources.☆148Updated 2 months ago
- I refer you to the name of the repository☆25Updated 11 months ago
- ☆19Updated 3 years ago
- Exploring the space of all possible programs☆28Updated 10 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆129Updated 2 years ago
- APL is the greatest language ever☆65Updated last year
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- The adventures of a Haskell compiler☆213Updated last week
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆302Updated 8 months ago
- ☆159Updated 5 years ago
- A Philosophy of Math Education☆13Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆205Updated 2 weeks ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- An interpreter for a J-inspired language☆89Updated last year
- A Markdown to HTML compiler written in Haskell.☆15Updated 7 months ago
- This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆34Updated last week
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- ☆158Updated last week
- Source code for the nLab☆149Updated 2 months ago