gjoncas / Lacan-MathemesLinks
Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis
☆37Updated 4 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☆11Updated 2 years ago
- Philosophy diagrams in Ti𝑘Z☆37Updated 3 years ago
- multilingual dictionary of mathematical terminology☆19Updated this week
- An active inference model of Lacanian psychoanalysis☆10Updated 3 weeks ago
- Mirror of ocaml-forester☆45Updated last year
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- Lecture Notes for Algebra Lectures at the University of Bonn☆13Updated 9 months ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated last month
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆59Updated 8 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 4 months ago
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆21Updated 3 weeks ago
- Tim Button's open textbook on set theory☆38Updated this week
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 4 months ago
- Leibniz - a Digital Scientific Notation☆35Updated 2 months ago
- Type-driven syntactic and semantic effectful parsing for NL☆13Updated last month
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆25Updated 3 years ago
- Domain Specific Languages for Computational Law☆76Updated 4 months ago
- Collection of LaTeX utility packages for scientific documents☆17Updated last year
- ☆11Updated 3 years ago
- Metamath verifier in Python☆40Updated 3 weeks ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 2 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆29Updated this week
- ☆115Updated 11 months ago
- Lindemann–Weierstrass Theorem☆12Updated last year
- Parser and dictionary for the eberban language.☆28Updated this week