Eliminators Alternatives

Similar projects and alternatives to eliminators

• Agda

  - 2,108 9.8 Haskell eliminators VS Agda

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

  

• hoq

  - 79 0.0 Haskell eliminators VS hoq

  A language based on homotopy type theory with an interval

• InfluxDB

  www.influxdata.com

  sponsored

  Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  

• open-typerep

  - 4 0.0 Haskell eliminators VS open-typerep

  Open type representations and dynamic types

• helf

  - 24 0.0 Haskell eliminators VS helf

  Haskell implementation of the Edinburgh Logical Framework

• Sit

  - 6 0.0 Haskell eliminators VS Sit

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

• miso

  - 2,069 3.1 Haskell eliminators VS miso

  :ramen: A tasty Haskell front-end framework

• nonempty-containers

  - 23 0.0 Haskell eliminators VS nonempty-containers

  Efficient non-empty variants of containers data types, with full API

• 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.

  

• agda-snippets

  - 8 0.0 Haskell eliminators VS agda-snippets

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

• monadic-arrays

  - 5 0.0 Haskell eliminators VS monadic-arrays

  MArray instances for monad transformers

• singletons

  - 280 5.5 Haskell eliminators VS singletons

  Fake dependent types in Haskell using singletons