Cubical Alternatives

Similar projects and alternatives to cubical

• helf

  - 24 0.0 Haskell cubical VS helf

  Haskell implementation of the Edinburgh Logical Framework

• miso

  - 2,072 2.8 Haskell cubical VS miso

  :ramen: A tasty Haskell front-end framework

• 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 cubical VS open-typerep

  Open type representations and dynamic types

• Sit

  - 6 0.0 Haskell cubical VS Sit

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

• singletons

  - 280 5.6 Haskell cubical VS singletons

  Fake dependent types in Haskell using singletons

• graph-wrapper

  - 6 0.0 Haskell cubical VS graph-wrapper

  A wrapper around the standard Data.Graph with a less awkward interface

• agda-snippets

  - 8 0.0 Haskell cubical VS agda-snippets

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

• SonarLint

  www.sonarlint.org

  sponsored

  Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  

• hoq

  - 79 0.0 Haskell cubical VS hoq

  A language based on homotopy type theory with an interval

• Agda

  - 2,113 9.8 Haskell cubical VS Agda

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

  

• perfect-hash-generator

  - 2 0.0 C cubical VS perfect-hash-generator

  Perfect minimal hashing implementation in native Haskell