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β303Updated 9 months ago
- β119Updated last year
- β160Updated 10 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021β48Updated 3 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.β87Updated 4 months ago
- β16Updated 3 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyllβ57Updated 6 years ago
- Agda lecture notes for the Functional Programming course at TU Delftβ128Updated 2 months ago
- Play/learn/work with meβ109Updated last month
- A Haskell DSEL for experimental game theory.β36Updated 3 years ago
- Book about using Lean with How To Prove Itβ21Updated last week
- A list of works and resources about double category theory, with a particular focus on applications.β30Updated 2 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explainedβ21Updated 3 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" courseβ160Updated last year
- Grammatical Framework core: compiler, shell & runtimesβ142Updated 3 weeks ago
- Tree Proof Generatorβ173Updated 7 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTTβ129Updated last month
- π πβοΈβοΈππ Advent of Code Mega Repoβ41Updated 8 months ago
- Logic and Mechanized Reasoningβ105Updated 2 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryβ401Updated 2 weeks ago
- The Agda Universal Algebra Library (html docs available at the url below)β36Updated 10 months ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematicsβ29Updated 3 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.β261Updated 2 weeks ago
- Haskell implementation of open gamesβ175Updated 8 months ago
- Categorical logic from a categorical point of viewβ81Updated 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 7 months ago
- More stable versions of some articles from my blogβ34Updated 5 months ago
- Benchmarks for capture-avoiding substitutionβ120Updated 4 months ago
- Selected Papers of Dana S. Scottβ165Updated last year