Maude Alternatives

Similar projects and alternatives to maude

• jvm-parser

  0 38 3.5 Haskell maude VS jvm-parser

  A Haskell parser for JVM bytecode files

  

• elm-get

  1 216 0.0 Haskell maude VS elm-get

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

  

• Nomyx

  0 79 4.3 Dockerfile maude VS Nomyx

  The Nomyx game

  

• haskell-tools-ast

  0 251 0.0 Haskell maude VS haskell-tools-ast

  Developer tools for Haskell

• cryptol

  0 1,107 9.2 Haskell maude VS cryptol

  Cryptol: The Language of Cryptography

  

• nirum

  0 121 0.0 Haskell maude VS nirum

  Nirum: IDL compiler and RPC/distributed object framework for microservices

  

• language-ecmascript

  0 46 4.5 Haskell maude VS language-ecmascript

  Haskell library: ECMAScript parser, pretty-printer and additional tools

  

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

  

• elm-reactor

  0 421 0.0 Haskell maude VS elm-reactor

• Elm

  198 7,447 5.4 Haskell maude VS Elm

  Compiler for Elm, a functional language for reliable webapps.

  

• language-javascript

  0 157 0.0 Haskell maude VS language-javascript

  Parser for JavaScript, in Haskell