Open-typerep Alternatives

Similar projects and alternatives to open-typerep

• Agda

  - 2,024 9.9 Haskell open-typerep VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.

  

• helf

  - 24 0.0 Haskell open-typerep VS helf

  Haskell implementation of the Edinburgh Logical Framework

• InfluxDB

  www.influxdata.com

  sponsored

  Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  

• cubical

  - 136 0.0 Haskell open-typerep VS cubical

  Implementation of Univalence in Cubical Sets (by simhu)

• singletons

  - 278 6.1 Haskell open-typerep VS singletons

  Fake dependent types in Haskell using singletons

• agda-snippets

  - 6 0.0 Haskell open-typerep VS agda-snippets

  Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

• Sit

  - 6 2.0 Haskell open-typerep VS Sit

  Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)

• eliminators

  - 27 3.8 Haskell open-typerep VS eliminators

  Dependently typed elimination functions using singletons

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• hypertypes

  1 98 5.1 Haskell open-typerep VS hypertypes

  Hypertypes - generic programming for heterogeneous recursive types

  

• danac

  1 3 10.0 Haskell open-typerep VS danac

  A compiler for the Dana programming language

• hoq

  - 78 0.0 Haskell open-typerep VS hoq

  A language based on homotopy type theory with an interval