Alternatives and similar repositories for social-distancing-simulator

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

• jespercockx / agda2scheme

  View on GitHub
  Compiler backend for generating Scheme code
  ☆28Nov 27, 2025Updated 2 months ago
• joom / direct-reflection-for-free

  View on GitHub
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Feb 21, 2020Updated 5 years ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• gdevanla / pandoc-markdown-ghci-filter

  View on GitHub
  A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.
  ☆14Jul 11, 2019Updated 6 years ago
• SimonBoulier / TypingFlags

  View on GitHub
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Nov 2, 2019Updated 6 years ago
• msp-strath / cs316-functional-programming

  View on GitHub
  CS316 "Functional Programming" lecture notes
  ☆21Jan 29, 2026Updated 2 weeks ago
• philzook58 / lens-algebra

  View on GitHub
  Type level algebraic "proofs" using lens combinators
  ☆19Jul 26, 2019Updated 6 years ago
• rocq-community / coqtail-math

  View on GitHub
  Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…
  ☆16Oct 20, 2025Updated 3 months ago
• ziman / idris-data-frame

  View on GitHub
  Data frames for Idris 2
  ☆23Jan 10, 2023Updated 3 years ago
• UlfNorell / agda-bench

  View on GitHub
  Benchmarking tool for compile-time performance of Agda programs
  ☆19Jan 26, 2022Updated 4 years ago
• freeman42x / awesome-agda-programming

  View on GitHub
  Awesome Agda Programming
  ☆18Sep 22, 2025Updated 4 months ago
• bobatkey / interactive-natural-deduction

  View on GitHub
  An editor for interactively building natural deduction proofs
  ☆20Sep 24, 2018Updated 7 years ago
• rocq-community / templates

  View on GitHub
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆16Oct 30, 2025Updated 3 months ago
• gmalecha / coq-interaction-trees

  View on GitHub
  Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.
  ☆18Jul 9, 2018Updated 7 years ago
• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• andreasabel / ipl

  View on GitHub
  Agda formalization of Intuitionistic Propositional Logic
  ☆22Nov 14, 2025Updated 2 months ago
• carlosfrodrigues / silkscreen

  View on GitHub
  Generate FullPage HTML slides with Markdown
  ☆21Feb 7, 2021Updated 5 years ago
• omelkonian / rewrite-inspector

  View on GitHub
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Oct 28, 2019Updated 6 years ago
• pleiad / Refinements

  View on GitHub
  Experiments in formalizing refinement type systems in Coq
  ☆18Feb 7, 2016Updated 10 years ago
• sweirich / lennart-lambda

  View on GitHub
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Jul 22, 2021Updated 4 years ago
• lthms / FreeSpec

  View on GitHub
  A framework for implementing and certifying impure computations in Coq
  ☆53Jan 16, 2024Updated 2 years ago
• effectfully / random-stuff

  View on GitHub
  ☆20Aug 13, 2024Updated last year
• dboulytchev / miniKanren-coq

  View on GitHub
  A certified semantics for relational programming workout.
  ☆26Oct 15, 2020Updated 5 years ago
• effectfully / STLC

  View on GitHub
  Dependently typed Algorithm M and friends
  ☆26Jun 2, 2018Updated 7 years ago
• pigworker / EGTBS

  View on GitHub
  being the introduction to co-de-Bruijn metasyntax
  ☆23Apr 29, 2022Updated 3 years ago
• metaborg / linear.agda

  View on GitHub
  A library and case-study for linear, intrinsically-typed interpreters in Agda
  ☆36Dec 21, 2019Updated 6 years ago
• oblivia-simplex / plog

  View on GitHub
  A bare-bones blogging system, written in Prolog
  ☆26Feb 3, 2024Updated 2 years ago
• ichistmeinname / free-proving

  View on GitHub
  Resources for "One Monad to Prove Them All"
  ☆29Dec 31, 2018Updated 7 years ago
• danelahman / haskell-coop

  View on GitHub
  An experimental Haskell library for programming with effectful runners.
  ☆30Dec 6, 2019Updated 6 years ago
• bolt12 / tymfgg-pearl

  View on GitHub
  Type Your Matrices For Great Good
  ☆29Jul 22, 2020Updated 5 years ago
• bobatkey / CS316-18

  View on GitHub
  The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course
  ☆31Jan 8, 2019Updated 7 years ago
• pigworker / ProgrammerCommaCon

  View on GitHub
  being a collection of Agda-facilitated ramblings
  ☆33May 20, 2020Updated 5 years ago
• L-TChen / MtacAR

  View on GitHub
  Mtac in Agda
  ☆29May 4, 2021Updated 4 years ago
• gallais / pearl-binary-search

  View on GitHub
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29May 26, 2021Updated 4 years ago
• andreasabel / strong-normalization

  View on GitHub
  Formalizations of strong normalization proofs
  ☆35Jul 8, 2019Updated 6 years ago
• proofengineering / proofengineering-bib

  View on GitHub
  BibTeX bibliographies for proof engineering-related papers
  ☆30Jul 24, 2019Updated 6 years ago
• lf94 / paizo-programmer

  View on GitHub
  An ergonomic, mobile-first, Prolog playground!
  ☆31Sep 13, 2022Updated 3 years ago
• rocq-prover / ltac2

  View on GitHub
  A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
  ☆32Jun 5, 2019Updated 6 years ago
• egap / theory_and_practice_of_field_experiments

  View on GitHub
  'Caramba y zamba la cosa, que vivan los experimentos!' -from 'Me Gustan Los Estudiantes' by Violeta Parra
  ☆10Aug 22, 2024Updated last year