Cil Alternatives

Similar projects and alternatives to cil

• Elm

  198 7,447 5.4 Haskell cil VS Elm

  Compiler for Elm, a functional language for reliable webapps.

  

• liquid-fixpoint

  0 128 8.9 Haskell cil VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  

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

  

• cryptol

  0 1,107 9.2 Haskell cil VS cryptol

  Cryptol: The Language of Cryptography

  

• purescript

  52 8,458 6.6 Haskell cil VS purescript

  A strongly-typed language that compiles to JavaScript

  

• frp-arduino

  0 246 0.0 Haskell cil VS frp-arduino

  Arduino programming without the hassle of C.

  

• stylish-haskell

  0 762 6.4 Haskell cil VS stylish-haskell

  Discontinued Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell] (by jaspervdj)

  

• language-javascript

  0 157 0.0 Haskell cil VS language-javascript

  Parser for JavaScript, in Haskell

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

  

• polysemy

  7 1,023 5.5 Haskell cil VS polysemy

  :gemini: higher-order, no-boilerplate monads

  

• elm-export

  0 116 0.0 Haskell cil VS elm-export

  Create Elm types and JSON decoders from Haskell source.

• haskell-src-exts

  2 193 0.0 Haskell cil VS haskell-src-exts

  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer