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
  ☆39Updated 4 years ago
• ToposInstitute / poly
  ☆126Updated last year
• dpiponi / StableBlog
  More stable versions of some articles from my blog
  ☆36Updated 8 months ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆49Updated last year
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆132Updated 6 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆90Updated 7 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆113Updated last month
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆113Updated last week
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆39Updated 3 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆170Updated last year
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆50Updated 2 weeks ago
• nyusemantics / LambdaCalculatorPublic
  ☆17Updated 3 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆25Updated last month
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆21Updated 3 years ago
• dylnb / esslli2015-monads
  materials for ESSLLI 2015 course: Monads and Natural Language
  ☆26Updated 10 years ago
• 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.
  ☆60Updated 10 months 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
  ☆27Updated 2 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆41Updated last month
• Mzk-Levi / texts
  ☆170Updated 10 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• cedille / ial
  The Iowa Agda Library
  ☆53Updated 2 months ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆81Updated 2 years ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆38Updated this week
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆57Updated 9 years ago
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated 2 months ago