dorchard / co519-logic

Related projects ⓘ

Alternatives and complementary repositories for co519-logic

• emilypi / order
  Order theory
  ☆23Updated last year
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆28Updated 3 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated 2 weeks ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 7 months ago
• jfaure / lfvm-stg
  Map lazy functional language constructs to LLVM IR
  ☆50Updated 5 years ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆65Updated 2 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• gallais / thesis
  Syntaxes with Binding, Their Programs, and Proofs
  ☆23Updated last year
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 3 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆28Updated 4 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆46Updated last month
• hackage-trustees / hackage-cli
  CLI tool for Hackage
  ☆26Updated 4 months ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• ekmett / distributive
  Dual Traversable
  ☆41Updated last year
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 5 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated last year
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 9 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• clash-lang / ghc-typelits-natnormalise
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated 5 months ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 5 months ago