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
- ☆118Updated last year
- A library for building bots compositionally.☆47Updated 5 months ago
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 2 months ago
- Haskell implementation of open games☆172Updated 6 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 weeks ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆30Updated 5 years ago
- ☆16Updated 2 years ago
- A formal logic framework that runs in the browser☆298Updated 7 months ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Domain Specific Languages for Computational Law☆76Updated last month
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆29Updated 3 years ago
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- Selected Papers of Dana S. Scott☆162Updated last year
- Grammatical Framework core: compiler, shell & runtimes☆142Updated last week
- ☆9Updated 2 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated last year
- Book about using Lean with How To Prove It☆19Updated last month
- 《The HoTT Book》 中文翻译☆7Updated 7 months ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 2 months ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 9 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Logic and Mechanized Reasoning☆105Updated 3 weeks ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆13Updated last year
- LaTeX code for a paper on lean's type theory☆141Updated 3 years ago
- linear algebra done right in coq☆10Updated 4 years ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 11 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year
- Mirror of ocaml-forester☆45Updated last year
- being some thoughts about introductory mathematics for computer science☆17Updated last year