5HT / valery

Related projects: ⓘ

• 5HT / nicolas
  ☆18Updated this week
• 5HT / canopus
  ☆12Updated this week
• o89 / n2o
  N2O: Application Server
  ☆10Updated last year
• groupoid / CCHM
  ☆13Updated this week
• karroffel / Idris2-Ocaml
  OCaml backend for Idris2
  ☆19Updated 3 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated 5 months ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆23Updated 5 years ago
• edwinb / SchemeEval
  Experimental normalisation via scheme
  ☆12Updated 3 years ago
• forked-from-1kasper / anders
  Anders: Cubical Type Checker
  ☆18Updated 10 months ago
• DoctorRyner / sae
  An Idris 2 build tool and a package manager
  ☆28Updated last year
• AndrasKovacs / preordertt
  Experiments with preordered set models of (directed) type theories
  ☆15Updated 5 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆18Updated last month
• AndrasKovacs / stlc-nbe
  Correctness of normalization-by-evaluation for STLC
  ☆21Updated 4 years ago
• Chaaaos / formaltt
  Formalization of type theory
  ☆22Updated 3 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆47Updated 2 years ago
• MarcelineVQ / idris2-curl
  libcurl bindings for idris2
  ☆14Updated 3 years ago
• m-yac / tt-in-cagda
  Simply typed lambda calculus in cubical agda
  ☆21Updated 4 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• ziman / itt-idris
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Updated 10 months ago
• ajrouvoet / ternary.agda
  An Agda library for programming with ternary relations
  ☆15Updated 2 years ago
• pcapriotti / agda-categories
  Category theory and algebra
  ☆27Updated 8 years ago
• TOTBWF / cubical-categories
  Category theory formalized in cubical agda
  ☆20Updated 4 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 2 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆26Updated 3 years ago
• balint99 / sfpl
  A simple functional programming language.
  ☆20Updated 3 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆32Updated 2 years ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆33Updated 3 years ago
• ahmadsalim / desc-n-crunch
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago