Anders Alternatives

Similar projects and alternatives to anders

• cooltt

  1 208 5.7 OCaml anders VS cooltt

  😎TT

  

• cicada

  2 970 4.0 Rust anders VS cicada

  An old-school bash-like Unix shell written in Rust

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

  

• Formality

  29 2,014 9.9 JavaScript anders VS Formality

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

  

• cubicaltt

  3 556 2.3 Haskell anders VS cubicaltt

  Experimental implementation of Cubical Type Theory

• cicada

  9 92 7.4 TypeScript anders VS cicada

  Cicada Language (by cicada-lang)

  

• sml-redprl

  1 225 10.0 Standard ML anders VS sml-redprl

  Discontinued The People's Refinement Logic

  

• fathom

  1 256 0.0 Rust anders VS fathom

  🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧 (by yeslogic)

  

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