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
  ☆40Updated 4 years ago
• ToposInstitute / poly
  ☆127Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆91Updated 8 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆49Updated last year
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆21Updated 3 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆150Updated 3 months ago
• nyusemantics / LambdaCalculatorPublic
  ☆18Updated 3 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆25Updated last month
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆132Updated 6 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆420Updated 2 weeks ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆133Updated 5 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆67Updated last year
• wo / tpg
  Tree Proof Generator
  ☆177Updated last month
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆127Updated 4 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆115Updated last month
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆48Updated last month
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆39Updated 3 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• conal / Collaboration
  Play/learn/work with me
  ☆114Updated 2 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆51Updated 4 years ago
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated 3 months ago
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆29Updated 3 years ago
• Mzk-Levi / texts
  ☆173Updated 11 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆81Updated 2 years ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆27Updated 2 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆171Updated last year
• sinhp / ProofLab
  ☆11Updated 2 years ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆51Updated last month
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆146Updated this week