maude alternatives and related packages

Based on the "Language" category

• purescript

  10.0 8.1 maude VS purescript

  PureScript Programming Language Compiler

• elm-compiler

  10.0 9.1 maude VS elm-compiler

  Values to help with elm-package, elm-make, and elm-lang.org.

• stylish-haskell

  9.9 4.1 maude VS stylish-haskell

  Haskell code prettifier

• liquidhaskell

  9.9 9.5 maude VS liquidhaskell

  Liquid Types for Haskell

• cryptol

  9.9 8.9 maude VS cryptol

  Cryptol

• elm-reactor

  9.8 0.6 maude VS elm-reactor

  Interactive development tool for Elm programs

• elm-server

  9.8 0.6 maude VS elm-server

  Server for developing Elm projects

• brittany

  9.8 6.6 maude VS brittany

  Haskell source code formatter

• ivory

  9.8 2.4 maude VS ivory

  Safe embedded C programming.

• elm-package

  9.7 0.6 maude VS elm-package

  Package manager for Elm libraries

• elm-get

  9.7 0.6 maude VS elm-get

  Tool for sharing and using Elm libraries

• haskell-src-exts

  9.7 5.5 maude VS haskell-src-exts

  Manipulating Haskell source

• frp-arduino

  9.6 1.7 maude VS frp-arduino

  Arduino programming without the hassle of C.

• haskell-tools-ast-gen

  9.6 5.3 maude VS haskell-tools-ast-gen

  Facilities for generating new parts of the Haskell-Tools AST

• haskell-tools-ast-fromghc

  9.6 5.3 maude VS haskell-tools-ast-fromghc

  Creating the Haskell-Tools AST from GHC's representations

• haskell-tools-ast

  9.6 5.3 maude VS haskell-tools-ast

  Haskell AST for efficient tooling

• nirum

  9.5 6.8 maude VS nirum

  IDL compiler and RPC/distributed object framework for microservices

• elm-export

  9.5 0.0 maude VS elm-export

  A library to generate Elm types from Haskell source.

• language-javascript

  9.4 4.1 maude VS language-javascript

  Parser for JavaScript

• language-python

  9.4 2.2 maude VS language-python

  Parsing and pretty printing of Python code.

• shentong

  9.3 0.0 maude VS shentong

  A Haskell implementation of the Shen programming language

• jvm-parser

  9.2 2.0 maude VS jvm-parser

  A parser for JVM bytecode files

• elsa

  9.2 3.1 maude VS elsa

  A tiny language for understanding the lambda-calculus

• hfmt

  9.2 4.2 maude VS hfmt

  Haskell source code formatter

• tal

  9.2 0.0 maude VS tal

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

• language-java

  9.2 0.0 maude VS language-java

  Manipulating Java source

• peggy

  9.1 0.0 maude VS peggy

  The Parser Generator for Haskell

• elm-bridge

  9.1 4.8 maude VS elm-bridge

  Derive Elm types from Haskell types

• ghc-justdoit

  9.1 2.6 maude VS ghc-justdoit

  A magic typeclass that just does it

• hgrep

  9.0 0.0 maude VS hgrep

  Search Haskell source code from the command line

• aterm-utils

  9.0 0.0 maude VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite

• liquid-fixpoint

  9.0 8.3 maude VS liquid-fixpoint

  Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

• type-of-html

  9.0 5.8 maude VS type-of-html

  High performance type driven html generation.

• camfort

  9.0 7.9 maude VS camfort

  CamFort - Cambridge Fortran infrastructure

• language-ecmascript

  9.0 0.7 maude VS language-ecmascript

  JavaScript parser and pretty-printer library

• language-c-quote

  8.9 0.0 maude VS language-c-quote

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

• exference

  8.9 0.0 maude VS exference

  Tool to search/generate (haskell) expressions with a given type

• why3

  8.9 0.0 maude VS why3

  Haskell support for the Why3 input format.

• formura

  8.8 0.0 L3 maude VS formura

  Formura is a simple language to describe stencil computation.

• LibClang

  8.8 0.0 maude VS LibClang

  Haskell bindings for libclang (a C++ parsing library)

• pyfi

  8.7 0.0 maude VS pyfi

  Call python inline from haskell

• imprevu

  8.6 0.0 maude VS imprevu

  Reactive programming language based on a DSL

• haskell-names

  8.6 4.4 maude VS haskell-names

  Name resolution library for Haskell

• nomyx-library

  8.6 0.0 maude VS nomyx-library

  Library of rules for Nomyx

• Obsidian

  8.6 0.1 maude VS Obsidian

  Embedded language for GPU Programming

• fortran-src

  8.5 8.3 maude VS fortran-src

  Parser and anlyses for Fortran standards 66, 77, 90.

• sized-types

  8.5 0.0 maude VS sized-types

  Sized types in Haskell using the GHC Nat kind.

• ministg

  8.5 0.6 maude VS ministg

  an interpreter for an operational semantics for the STG machine.

• Paraiso

  8.4 0.0 L2 maude VS Paraiso

  a code generator for partial differential equations solvers.

• raw-feldspar

  8.3 4.1 maude VS raw-feldspar

  Resource-Aware Feldspar

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.

Do you think we are missing an alternative of maude or a related project?

Add another 'Language' Package

maude Recommendations

There are no recommendations yet. Be the first to promote maude!

Have you used maude? Share your experience. Write a short recommendation and maude, you and your project will be promoted on Awesome Haskell.
Recommend maude

Recently added maude resources

Popular Comparisons

• really-simple-xml-parser
  vs
  fortran-src
• stylish-haskell
  vs
  brittany
• haskell-tools-ast
  vs
  ghc-justdoit
• naver-translate
  vs
  jvm-parser
• jvm-parser
  vs
  naver-translate