gjoncas / Lacan-Mathemes
Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis
☆36Updated 3 years ago
Alternatives and similar repositories for Lacan-Mathemes
Users that are interested in Lacan-Mathemes are comparing it to the libraries listed below
Sorting:
- An implementation of some of Jacques Lacan's notes on the Purloined Letter in Racket☆12Updated 2 years ago
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- multilingual dictionary of mathematical terminology☆19Updated 6 months ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆29Updated this week
- Parser and dictionary for the eberban language.☆27Updated 2 weeks ago
- A language evolution simulator, using realistic phonetic changes.☆38Updated 2 years ago
- Mirror of ocaml-forester☆44Updated 11 months ago
- Verified decision procedures for modal logics in Lean☆12Updated 4 years ago
- My mathematical Zettelkasten, created using forester.☆82Updated last week
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆20Updated 9 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated 2 weeks ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- A semantic Extension of TeX/LaTeX☆52Updated this week
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 3 months ago
- Pollen tutorial based on Tufte CSS☆15Updated 3 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Metamath verifier in Python☆38Updated last year
- Book about using Lean with How To Prove It☆18Updated this week
- An open etymology dataset created using Wiktionary data. Contains 3.8M entries, 1.8M terms, 2900 languages, and 31 unique relationship ty…☆99Updated 11 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 7 months ago
- Describe Toki Pona using Grammatical Framework☆11Updated 4 years ago
- things that don't deserve their own repo☆64Updated last month
- A textbook for Conway's Game of Life.☆35Updated 3 years ago
- Tim Button's open textbook on set theory☆34Updated last year
- ☆11Updated 7 months ago
- Type-driven syntactic and semantic effectful parsing for NL☆12Updated last month
- The Heterogeneous Tool Set☆58Updated 3 months ago
- Source of metamath book☆48Updated last year
- please use https://forums.matthewbutterick.com/c/typesetting/ instead☆52Updated 2 years ago