Alternatives and similar repositories for UnionType:

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

• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆28Updated 3 years ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆33Updated 3 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 4 months ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated last week
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 5 years ago
• gergoerdi / universe-of-syntax
  A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…
  ☆16Updated 7 years ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆70Updated 5 years ago
• alexhumphreys / idrall
  Dhall bindings for Idris
  ☆39Updated last month
• clayrat / sequent-calc
  Experiments with sequent calculi
  ☆26Updated 3 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆76Updated 11 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆161Updated 2 weeks ago
• thalerjonathan / gloss-idris
  A port of the gloss library from Haskell to Idris
  ☆22Updated 6 years ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated last year
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated this week
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated 7 months ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆52Updated 5 months ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• effectfully / OTT
  Observational Type Theory as an Agda library
  ☆52Updated 7 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago