Alternatives and similar repositories for lacan-racket

Users that are interested in lacan-racket are comparing it to the libraries listed below

• gjoncas / Lacan-Mathemes
  Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis
  ☆37Updated 4 years ago
• ToposInstitute / poly
  ☆119Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆306Updated 10 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆109Updated this week
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated 3 months ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆107Updated 3 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 5 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆403Updated this week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆158Updated 3 months ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆39Updated 3 years ago
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆29Updated 3 years ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆365Updated last year
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆58Updated 8 months ago
• dpiponi / StableBlog
  More stable versions of some articles from my blog
  ☆34Updated 6 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 9 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆120Updated 5 months ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆175Updated 9 months ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆230Updated last year
• cedille / ial
  The Iowa Agda Library
  ☆49Updated last month
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆37Updated 10 months ago
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆48Updated 7 months ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆165Updated last year
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆129Updated 2 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆56Updated this week
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year