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
  ☆35Updated 3 years ago
• ToposInstitute / poly
  ☆113Updated 6 months ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆44Updated 10 months 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.
  ☆55Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆30Updated last month
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆25Updated last year
• conal / Collaboration
  Play/learn/work with me
  ☆95Updated 5 months ago
• Trebor-Huang / combinator-nbe
  Normalization by evaluation of simply typed combinators.
  ☆26Updated 2 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆36Updated 4 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated 7 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 weeks ago
• sdzx-1 / typed-fsm
  typed finite-state machine
  ☆16Updated 2 months ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆48Updated 3 months ago
• Trebor-Huang / ZFC
  An embedding of ZFC into Agda
  ☆14Updated 3 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• jdolson / univalence-from-scratch
  Univalence from scratch in Idris
  ☆19Updated 6 years ago
• ilhikki / hott-book-zh
  《The HoTT Book》 中文翻译
  ☆6Updated 2 weeks ago
• agda / agda-language-server
  Language Server for Agda
  ☆105Updated last month
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆38Updated 3 years ago
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆55Updated this week
• omelkonian / AlgoRhythm
  AlgoRhythm: A Haskell library for algorithmic music composition.
  ☆22Updated 6 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 8 months ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆66Updated 3 months ago
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆53Updated 2 years ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆82Updated 3 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago