Alternatives and similar repositories for hs-logic:

Users that are interested in hs-logic are comparing it to the libraries listed below

• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• ekmett / keep
  playing with resumable computations
  ☆13Updated 5 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 3 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• sinelaw / hmf
  A copy of Daan Leijen's reference implementation of HMF (type inference)
  ☆16Updated 9 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• esengie / fpl-exploration-tool
  Diploma work (if this is still here contact me if you need details)
  ☆13Updated 7 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• andreasabel / helf
  Haskell implementation of the Edinburgh Logical Framework
  ☆27Updated 6 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 3 weeks ago
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆15Updated 6 years ago
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 9 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 8 years ago
• bgamari / the-thoralf-plugin
  This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
  ☆21Updated 3 years ago
• cedille / cedille-developments
  A showcase of interesting code and proof developments in Cedille
  ☆36Updated 2 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago
• jyp / prettiest
  The Prettiest Printer
  ☆34Updated last year
• dalaing / type-systems
  ☆23Updated 7 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 5 months ago
• sabauma / agda-relation-algebra
  Relational algebra implementation in Agda with simple bindings to SQLITE
  ☆12Updated last year
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 2 years ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 2 years ago
• sjoerdvisscher / free-functors
  Provides free functors that are adjoint to functors that forget class constraints.
  ☆29Updated 8 months ago