willkurt / lacan-racketLinks
An implementation of some of Jacques Lacan's notes on the Purloined Letter in Racket
☆11Updated 2 years ago
Alternatives and similar repositories for lacan-racket
Users that are interested in lacan-racket are comparing it to the libraries listed below
Sorting:
- Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis☆37Updated 4 years ago
- A formal logic framework that runs in the browser☆299Updated 8 months ago
- ☆118Updated last year
- Play/learn/work with me☆109Updated 3 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated last month
- ☆16Updated 3 years ago
- Book about using Lean with How To Prove It☆19Updated 2 months ago
- ☆161Updated 10 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆29Updated 3 years ago
- Catalog of visual lambda calculi☆150Updated last month
- Haskell implementation of open games☆173Updated 7 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 10 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆393Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 2 weeks ago
- Functional choreographic programming in Haskell☆101Updated 2 months ago
- The Haskell Optimization Handbook☆179Updated 5 months ago
- The collected works of F. W. Lawvere☆360Updated 11 months ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Agda as a collaborative multiplayer game☆38Updated 10 months ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆37Updated last month
- Animations of lambda term reduction sequences☆143Updated 7 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 5 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 3 years ago
- Grammatical Framework core: compiler, shell & runtimes☆140Updated last week
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 3 months ago
- agda-mode on VS Code☆177Updated this week
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 6 months ago