maude alternatives and similar packages

Based on the "Language" category.
Alternatively, view maude alternatives based on common mentions on social networks and blogs.

elm-compiler

10.0 3.5 maude VS elm-compiler

Compiler for Elm, a functional language for reliable webapps.
purescript

10.0 7.3 maude VS purescript

A strongly-typed language that compiles to JavaScript

Access the most powerful time series database as a service

Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

Promo www.influxdata.com

brittany

9.9 0.0 maude VS brittany

haskell source code formatter
stylish-haskell

9.9 6.4 maude VS stylish-haskell

Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]
cryptol

9.9 9.1 maude VS cryptol

Cryptol: The Language of Cryptography
liquidhaskell

9.9 9.8 maude VS liquidhaskell

Liquid Types For Haskell
polysemy

9.9 4.5 maude VS polysemy

:gemini: higher-order, no-boilerplate monads
elm-server

9.8 0.0 maude VS elm-server

Server for developing Elm projects
elm-reactor

9.8 0.0 maude VS elm-reactor

Interactive development tool for Elm programs
ivory

9.8 0.0 maude VS ivory

The Ivory EDSL
haskell-src-exts

9.7 0.0 maude VS haskell-src-exts

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

9.7 0.0 maude VS elm-package

Package manager for Elm libraries
elm-get

9.7 0.0 maude VS elm-get

Tool for sharing and using Elm libraries
frp-arduino

9.6 0.0 maude VS frp-arduino

Arduino programming without the hassle of C.
haskell-tools-ast-gen

9.6 0.0 maude VS haskell-tools-ast-gen

Developer tools for Haskell
haskell-tools-ast-fromghc

9.6 0.0 maude VS haskell-tools-ast-fromghc

Developer tools for Haskell
haskell-tools-ast

9.6 0.0 maude VS haskell-tools-ast

Developer tools for Haskell
language-javascript

9.5 0.0 maude VS language-javascript

Parser for JavaScript, in Haskell
nirum

9.5 0.0 maude VS nirum

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

9.5 0.0 maude VS language-python

A parser for Python 2.x and 3.x written in Haskell
liquid-fixpoint

9.5 9.0 maude VS liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
elsa

9.4 0.0 maude VS elsa

Elsa is a lambda calculus evaluator
elm-export

9.4 0.0 maude VS elm-export

Create Elm types and JSON decoders from Haskell source.
axel

9.4 5.6 maude VS axel

Haskell + Lisp
language-java

9.3 0.0 maude VS language-java

Java parser and printer for haskell
tal

9.3 0.0 maude VS tal

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
shentong

9.3 0.0 maude VS shentong

A Haskell implementation of the Shen programming language.
elm-bridge

9.2 4.4 maude VS elm-bridge

Haskell: Derive Elm types from Haskell types
camfort

9.2 0.0 maude VS camfort

Light-weight verification and transformation tools for Fortran
hfmt

9.2 0.0 maude VS hfmt

Format Haskell programs. Inspired by the gofmt utility.
hgrep

9.1 0.8 maude VS hgrep

Search Haskell source code from the command line
jvm-parser

9.1 0.0 maude VS jvm-parser

A Haskell parser for JVM bytecode files
type-of-html

9.1 0.0 maude VS type-of-html

High performance type safe html generation
peggy

9.1 0.0 maude VS peggy

The Parser Generator for Haskell
ghc-justdoit

9.1 0.0 maude VS ghc-justdoit

A magic typeclass that just does it
language-c-quote

9.0 1.0 maude VS language-c-quote

C/CUDA/OpenCL/Objective-C quasiquoting library.
exference

9.0 0.0 maude VS exference

Haskell tool to generate expressions from types
fortran-src

8.9 0.0 maude VS fortran-src

Fortran parsing and static analysis infrastructure
aterm-utils

8.9 0.0 maude VS aterm-utils

Utility functions for working with aterms as generated by Minitermite
language-rust

8.9 0.0 maude VS language-rust

Parser and pretty-printer for the Rust language
language-ecmascript

8.9 0.0 maude VS language-ecmascript

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

8.8 0.0 L3 maude VS formura

Describe stencil formurae without even translating them
homplexity

8.8 0.0 maude VS homplexity

Haskell code complexity and quality measurement
ministg

8.8 0.0 maude VS ministg

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
why3

8.8 0.0 maude VS why3

Haskell support for the Why3 input format
nomyx-library

8.7 0.0 maude VS nomyx-library

The Nomyx game
LibClang

8.7 0.0 maude VS LibClang

Haskell FFI to libclang
imprevu

8.7 0.0 maude VS imprevu

The Nomyx game
haskell-names

8.7 0.0 maude VS haskell-names

Haskell suite library for name resolution
purescript-tsd-gen

8.6 5.9 maude VS purescript-tsd-gen

TypeScript Declaration File (.d.ts) generator for PureScript