willkurt / lacan-racket

Related projects ⓘ

Alternatives and complementary repositories for lacan-racket

• gjoncas / Lacan-Mathemes
  Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis
  ☆35Updated 3 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆40Updated 5 months ago
• conal / felix
  Agda category theory library for denotational design
  ☆48Updated 5 months ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• Trebor-Huang / combinator-nbe
  Normalization by evaluation of simply typed combinators.
  ☆26Updated 2 years ago
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆41Updated 10 months ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 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.
  ☆55Updated 2 years ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆38Updated last year
• L-TChen / ModalTypeTheory
  ☆21Updated 3 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 8 months ago
• ToposInstitute / poly
  ☆109Updated 4 months ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 8 years ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆43Updated last week
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated 7 months ago
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆26Updated 2 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆22Updated 2 years ago
• kangrongji / cubical-classics
  An attempt towards univalent classical mathematics in Cubical Agda.
  ☆29Updated last year
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆25Updated 11 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆50Updated 3 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 4 years ago
• anna099 / hegel
  hegel notes
  ☆10Updated last year
• uemurax / morg
  Organize mathematical thoughts
  ☆19Updated last year
• ocramz / thih
  typing haskell in haskell
  ☆15Updated 2 years ago
• rocq-archive / zfc
  An encoding of Zermelo-Fraenkel Set Theory in Coq
  ☆22Updated last year
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆15Updated 4 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…
  ☆35Updated this week
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆29Updated 11 months ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆49Updated 3 years ago