Mathista Alternatives

Similar projects and alternatives to mathista

• why3

  0 4 0.0 Haskell mathista VS why3

  Haskell support for the Why3 input format

  

• ghc-justdoit

  0 121 0.0 Haskell mathista VS ghc-justdoit

  A magic typeclass that just does it

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

  

• haskell-tools-ast

  0 251 0.0 Haskell mathista VS haskell-tools-ast

  Developer tools for Haskell

• aterm-utils

  0 2 3.2 Haskell mathista VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite

  

• vulgarlang-phonology-sets

  3 10 0.0 mathista VS vulgarlang-phonology-sets

  A collection of additional language phonology settings for use with VulgarLang.

• language-rust

  0 88 0.0 Haskell mathista VS language-rust

  Parser and pretty-printer for the Rust language

• homplexity

  0 61 0.0 Haskell mathista VS homplexity

  Haskell code complexity and quality measurement

  

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

  

• stylish-haskell

  0 762 6.4 Haskell mathista VS stylish-haskell

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

  

• Nomyx

  0 79 4.3 Dockerfile mathista VS Nomyx

  The Nomyx game

  

• fortran-src

  1 44 5.8 Haskell mathista VS fortran-src

  Fortran parsing and static analysis infrastructure