Ltl Alternatives

Similar projects and alternatives to ltl based on common topics and language

• purescript

  52 8,464 6.5 Haskell ltl VS purescript

  A strongly-typed language that compiles to JavaScript

  

• Carp

  84 5,393 0.7 Haskell ltl VS Carp

  A statically typed lisp, without a GC, for real-time applications.

  

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• futhark

  52 2,293 9.8 Haskell ltl VS futhark

  :boom::computer::boom: A data-parallel functional programming language

  

• liquidhaskell

  4 1,150 9.3 Haskell ltl VS liquidhaskell

  Liquid Types For Haskell

  

• cryptol

  0 1,108 9.1 Haskell ltl VS cryptol

  Cryptol: The Language of Cryptography

  

• kitten

  13 1,074 1.2 Haskell ltl VS kitten

  A statically typed concatenative systems programming language.

• polysemy

  7 1,024 5.5 Haskell ltl VS polysemy

  :gemini: higher-order, no-boilerplate monads

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives