Helf Alternatives

Similar projects and alternatives to helf

• miso

  - 2,057 4.2 Haskell helf VS miso

  :ramen: A tasty Haskell front-end framework

• singletons

  - 278 5.9 Haskell helf VS singletons

  Fake dependent types in Haskell using singletons

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

  

• cubical

  - 136 0.0 Haskell helf VS cubical

  Implementation of Univalence in Cubical Sets (by simhu)

• open-typerep

  - 4 0.0 Haskell helf VS open-typerep

  Open type representations and dynamic types

• Agda

  - 2,059 9.9 Haskell helf VS Agda

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

  

• Sit

  - 6 0.0 Haskell helf VS Sit

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

• agda-snippets

  - 6 0.0 Haskell helf VS agda-snippets

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

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

  

• heaps

  - 25 0.0 Haskell helf VS heaps

  Asymptotically optimal Brodal/Okasaki heaps (by ekmett)

• eliminators

  - 27 3.6 Haskell helf VS eliminators

  Dependently typed elimination functions using singletons

• void

  - 19 0.0 Haskell helf VS void

  Provides Data.Void, which is in base since ghc 7.8 or so (by ekmett)