An interface to the Maude rewriting system.

maude alternatives and similar packages

Based on the "Language" category

• purescript

  10.0 8.1 maude VS purescript

  PureScript Programming Language Compiler

• elm-compiler

  10.0 9.6 maude VS elm-compiler

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

• stylish-haskell

  9.9 5.1 maude VS stylish-haskell

  Haskell code prettifier

• liquidhaskell

  9.9 9.4 maude VS liquidhaskell

  Liquid Types for Haskell

• cryptol

  9.9 8.9 maude VS cryptol

  Cryptol

• elm-reactor

  9.8 0.1 maude VS elm-reactor

  Interactive development tool for Elm programs

• brittany

  9.8 7.1 maude VS brittany

  Haskell source code formatter

• ivory

  9.8 0.9 maude VS ivory

  Safe embedded C programming.

• elm-server

  9.8 0.0 maude VS elm-server

  Server for developing Elm projects

• haskell-src-exts

  9.7 4.0 maude VS haskell-src-exts

  Manipulating Haskell source

• haskell-tools-ast-gen

  9.7 1.0 maude VS haskell-tools-ast-gen

  Facilities for generating new parts of the Haskell-Tools AST

• haskell-tools-ast

  9.7 1.0 maude VS haskell-tools-ast

  Haskell AST for efficient tooling

• elm-package

  9.7 0.0 maude VS elm-package

  Package manager for Elm libraries

• elm-get

  9.7 0.1 maude VS elm-get

  Tool for sharing and using Elm libraries

• frp-arduino

  9.6 3.6 maude VS frp-arduino

  Arduino programming without the hassle of C.

• haskell-tools-ast-fromghc

  9.6 3.6 maude VS haskell-tools-ast-fromghc

  Creating the Haskell-Tools AST from GHC's representations

• elm-export

  9.5 0.0 maude VS elm-export

  A library to generate Elm types from Haskell source.

• nirum

  9.5 3.9 maude VS nirum

  IDL compiler and RPC/distributed object framework for microservices

• language-javascript

  9.4 5.8 maude VS language-javascript

  Parser for JavaScript

• language-python

  9.4 5.3 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

• language-java

  9.2 0.0 maude VS language-java

  Manipulating Java source

• elsa

  9.2 2.7 maude VS elsa

  A tiny language for understanding the lambda-calculus

• hfmt

  9.2 3.1 maude VS hfmt

  Haskell source code formatter

• jvm-parser

  9.2 2.3 maude VS jvm-parser

  A parser for JVM bytecode files

• tal

  9.2 0.0 maude VS tal

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

• liquid-fixpoint

  9.1 8.5 maude VS liquid-fixpoint

  Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

• elm-bridge

  9.1 3.6 maude VS elm-bridge

  Derive Elm types from Haskell types

• ghc-justdoit

  9.1 1.7 maude VS ghc-justdoit

  A magic typeclass that just does it

• camfort

  9.1 7.8 maude VS camfort

  CamFort - Cambridge Fortran infrastructure

• peggy

  9.1 0.0 maude VS peggy

  The Parser Generator for Haskell

• aterm-utils

  9.0 0.0 maude VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite

• type-of-html

  9.0 4.3 maude VS type-of-html

  High performance type driven html generation.

• hgrep

  9.0 0.0 maude VS hgrep

  Search Haskell source code from the command line

• language-ecmascript

  9.0 0.0 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.

• why3

  8.9 0.0 maude VS why3

  Haskell support for the Why3 input format.

• exference

  8.9 0.0 maude VS exference

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

• formura

  8.8 0.0 L3 maude VS formura

  Formura is a simple language to describe stencil computation.

• nomyx-library

  8.7 0.0 maude VS nomyx-library

  Library of rules for Nomyx

• LibClang

  8.7 0.0 maude VS LibClang

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

• pyfi

  8.6 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

• fortran-src

  8.5 8.5 maude VS fortran-src

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

• haskell-names

  8.5 3.3 maude VS haskell-names

  Name resolution library for Haskell

• Obsidian

  8.5 0.0 maude VS Obsidian

  Embedded language for GPU Programming

• ministg

  8.5 0.1 maude VS ministg

  an interpreter for an operational semantics for the STG machine.

• sized-types

  8.5 0.0 maude VS sized-types

  Sized types in Haskell using the GHC Nat kind.

• Paraiso

  8.4 0.0 L2 maude VS Paraiso

  a code generator for partial differential equations solvers.

• raw-feldspar

  8.3 3.3 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

Popular Comparisons

• stylish-haskell
  vs
  brittany
• fortran-src
  vs
  really-simple-xml-parser
• elm-reactor
  vs
  purescript
• haskell-names
  vs
  frp-arduino
• haskell-tools-ast
  vs
  ghc-justdoit