Zot Alternatives

Similar projects and alternatives to zot

• dhall-json

  0 63 0.0 Haskell zot VS dhall-json

• ghc-proofs

  0 145 0.0 Haskell zot VS ghc-proofs

  Let GHC prove program equations for you

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• egison

  11 900 0.0 Haskell zot VS egison

  The Egison Programming Language

  

• sjsp

  0 233 1.2 Haskell zot VS sjsp

• morte

  0 372 0.0 Haskell zot VS morte

  A bare-bones calculus-of-constructions

• kaleidoscope

  9 1,017 0.0 Haskell zot VS kaleidoscope

  Haskell LLVM JIT Compiler Tutorial

• haste-compiler

  4 1,446 0.0 Haskell zot VS haste-compiler

  A GHC-based Haskell to JavaScript compiler

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• accelerate

  9 886 5.3 Haskell zot VS accelerate

  Embedded language for high-performance array computations (by AccelerateHS)

  

• Elm

  198 7,447 5.4 Haskell zot VS Elm

  Compiler for Elm, a functional language for reliable webapps.

  

• bound

  2 121 4.2 Haskell zot VS bound

  Combinators for manipulating locally-nameless generalized de Bruijn terms