Alternatives and similar repositories for social-distancing-simulator

Users that are interested in social-distancing-simulator are comparing it to the libraries listed below

• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 3 years ago
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆28Updated 3 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆30Updated 5 years ago
• Conair94 / ModelTheoryWiki
  Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…
  ☆16Updated 4 months ago
• Deducteam / Agda2Dedukti
  ☆21Updated 3 years ago
• gallais / thesis
  Syntaxes with Binding, Their Programs, and Proofs
  ☆23Updated last year
• martinescardo / EffectfulForcing
  Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …
  ☆11Updated 4 years ago
• AndrasKovacs / polynomial-model
  A polynomial model of a Martin-Löf type theory + a bit of game semantics
  ☆32Updated 3 years ago
• jonsterling / agda-synthetic-domain-theory
  ☆17Updated 3 years ago
• mikeshulman / dirtt
  Directed type theory for formal category theory
  ☆17Updated 8 years ago
• takanuva / coc
  Calculus of Constructions
  ☆17Updated 6 years ago
• mr-ohman / logrel-mltt
  A Logical Relation for Martin-Löf Type Theory in Agda
  ☆54Updated last month
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆42Updated 2 months ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆36Updated 2 years ago
• tlringer / thesis
  haha I'm graduating
  ☆14Updated 4 years ago
• metaborg / linear.agda
  A library and case-study for linear, intrinsically-typed interpreters in Agda
  ☆35Updated 5 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆38Updated 5 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆40Updated 3 years ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated 2 years ago
• dspivak / dependent-types
  ☆12Updated 7 months ago
• Lysxia / system-F
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆35Updated 7 months ago
• awswan / oraclemodality
  ☆14Updated last year
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆39Updated 4 years ago
• Zekt / Type-Embellishment
  Experimenting on ornamentation in Agda via reflection.
  ☆12Updated 2 years ago
• frex-project / agda-fragment
  Algebraic proof discovery in Agda
  ☆35Updated 3 years ago
• andreasabel / strong-normalization
  Formalizations of strong normalization proofs
  ☆35Updated 6 years ago
• andreasabel / agda2lagda
  Simple conversion from Agda text to literate Agda text.
  ☆14Updated last month
• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 6 years ago