Meta-cedille Alternatives

Similar projects and alternatives to meta-cedille based on common topics and language

• coq

  87 4,609 10.0 OCaml meta-cedille VS coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  

• lambdalisp

  3 219 4.4 Common Lisp meta-cedille VS lambdalisp

  A Lisp interpreter written in untyped lambda calculus

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

  

• Kind

  4 3,452 4.8 Rust meta-cedille VS Kind

  A next-gen functional language (by HigherOrderCO)

  

• Formality

  29 2,014 9.9 JavaScript meta-cedille VS Formality

  Discontinued A modern proof language [Moved to: https://github.com/kind-lang/Kind]

  

• Kind

  21 2,565 9.5 Rust meta-cedille VS Kind

  Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)

  

• write-you-a-haskell

  4 3,304 0.0 Haskell meta-cedille VS write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)