Alternatives and similar repositories for dot

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

• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆89Updated 4 years ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆66Updated 3 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆219Updated last year
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆99Updated 7 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆107Updated last month
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆102Updated last year
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 7 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated 3 months ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆52Updated 13 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆168Updated last year
• llelf / icfp2020-papers
  ICFP 2020 papers. Crowd-sourced
  ☆90Updated 5 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆93Updated 2 weeks ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆42Updated 3 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Updated 4 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆107Updated 3 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆99Updated 2 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated 10 months ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 4 years ago
• ziman / lightyear
  Parser combinators for Idris
  ☆244Updated 6 years ago
• gspindles / Papers
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆79Updated 8 years ago
• hkuplg / fcore
  Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
  ☆46Updated 10 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆164Updated 8 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆58Updated 13 years ago
• nau / lasca-compiler
  Lasca is Scala shifted towards Haskell.
  ☆134Updated 7 years ago
• JetBrains / arend-lib
  ☆83Updated 11 months ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 8 years ago