Alternatives and similar repositories for dot-calculus

Users that are interested in dot-calculus are comparing it to the libraries listed below

• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆89Updated 3 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆106Updated 2 weeks ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆42Updated 3 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆93Updated 3 months ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 5 years ago
• epfl-lara / SystemFR
  System FR: Formalized Foundations for Stainless
  ☆11Updated 3 months ago
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆161Updated 9 years ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 7 years ago
• kpavery / System-Fo
  An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …
  ☆33Updated 10 years ago
• inc-lc / ilc-scala
  Scala implementation of ILC, with benchmarks
  ☆28Updated 9 years ago
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆36Updated 3 months ago
• cohomolo-gy / Isomorphic-Reasoning
  Isomorphic Reasoning: Counting with Types
  ☆38Updated 5 years ago
• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 9 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆61Updated 3 months ago
• ekmett / magpie
  an exploration of subtyping-based category theory in scala
  ☆25Updated 15 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆98Updated 7 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• plclub / metalib
  The Penn Locally Nameless Metatheory Library
  ☆76Updated 8 months ago
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated 2 years ago
• slindley / effect-handlers
  ☆84Updated last year
• adelbertc / circular
  Invertible syntax for Scala.
  ☆13Updated 9 years ago
• clayrat / sequent-calc
  Experiments with sequent calculi
  ☆28Updated 4 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆27Updated 2 years ago
• roglo / banach_tarski
  Formal proof in Coq of Banach-Tarski paradox.
  ☆19Updated last week
• inkytonik / kiama
  A Scala library for language processing.
  ☆48Updated last year
• amaurremi / dot-calculus
  Adding extensions to DOT calculus
  ☆24Updated 5 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 9 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 9 months ago