An interface to the Maude rewriting system.

maude alternatives and similar packages

Based on the "Language" category

• purescript

  10.0 7.6 maude VS purescript

  PureScript Programming Language Compiler

• elm-compiler

  10.0 8.1 maude VS elm-compiler

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

• liquidhaskell

  9.9 9.6 maude VS liquidhaskell

  Liquid Types for Haskell

• cryptol

  9.9 8.9 maude VS cryptol

  Cryptol

• polysemy

  9.9 7.5 maude VS polysemy

  Higher-order, low-boilerplate, zero-cost free monads.

• stylish-haskell

  9.9 6.1 maude VS stylish-haskell

  Haskell code prettifier

• brittany

  9.8 7.1 maude VS brittany

  Haskell source code formatter

• ivory

  9.8 4.0 maude VS ivory

  Safe embedded C programming.

• 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

• haskell-src-exts

  9.7 4.0 maude VS haskell-src-exts

  Manipulating Haskell source

• haskell-tools-ast-fromghc

  9.7 0.0 maude VS haskell-tools-ast-fromghc

  Creating the Haskell-Tools AST from GHC's representations

• 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

• haskell-tools-ast-gen

  9.7 0.0 maude VS haskell-tools-ast-gen

  Facilities for generating new parts of the Haskell-Tools AST

• haskell-tools-ast

  9.7 0.0 maude VS haskell-tools-ast

  Haskell AST for efficient tooling

• frp-arduino

  9.6 0.0 maude VS frp-arduino

  Arduino programming without the hassle of C.

• elm-export

  9.5 0.0 maude VS elm-export

  A library to generate Elm types from Haskell source.

• language-javascript

  9.5 4.6 maude VS language-javascript

  Parser for JavaScript

• nirum

  9.5 3.9 maude VS nirum

  IDL compiler and RPC/distributed object framework for microservices

• language-python

  9.5 3.7 maude VS language-python

  Parsing and pretty printing of Python code.

• jvm-parser

  9.4 0.0 maude VS jvm-parser

  A parser for JVM bytecode files

• shentong

  9.4 0.0 maude VS shentong

  A Haskell implementation of the Shen programming language

• elsa

  9.3 4.8 maude VS elsa

  A tiny language for understanding the lambda-calculus

• tal

  9.3 0.0 maude VS tal

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

• axel

  9.3 6.8 maude VS axel

  The Axel programming language.

• language-java

  9.3 0.0 maude VS language-java

  Manipulating Java source

• hfmt

  9.3 1.6 maude VS hfmt

  Haskell source code formatter

• elm-bridge

  9.2 4.9 maude VS elm-bridge

  Derive Elm types from Haskell types

• peggy

  9.2 0.0 maude VS peggy

  The Parser Generator for Haskell

• camfort

  9.2 5.8 maude VS camfort

  CamFort - Cambridge Fortran infrastructure

• why3

  9.2 0.0 maude VS why3

  Haskell support for the Why3 input format.

• liquid-fixpoint

  9.2 8.6 maude VS liquid-fixpoint

  Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

• ghc-justdoit

  9.2 0.0 maude VS ghc-justdoit

  A magic typeclass that just does it

• language-c-quote

  9.1 2.7 maude VS language-c-quote

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

• hgrep

  9.1 2.0 maude VS hgrep

  Search Haskell source code from the command line

• exference

  9.1 0.0 maude VS exference

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

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

• language-ecmascript

  9.0 5.3 maude VS language-ecmascript

  JavaScript parser and pretty-printer library

• formura

  8.9 0.0 L3 maude VS formura

  Formura is a simple language to describe stencil computation.

• language-rust

  8.9 1.6 maude VS language-rust

  Parsing and pretty printing of Rust code

• LibClang

  8.8 0.0 maude VS LibClang

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

• homplexity

  8.8 8.4 maude VS homplexity

  Haskell code quality tool

• haskell-names

  8.8 3.2 maude VS haskell-names

  Name resolution library for Haskell

• nomyx-library

  8.7 0.0 maude VS nomyx-library

  Library of rules for Nomyx

• imprevu

  8.7 0.0 maude VS imprevu

  Reactive programming language based on a DSL

• sized-types

  8.7 0.0 maude VS sized-types

  Sized types in Haskell using the GHC Nat kind.

• ministg

  8.7 5.7 maude VS ministg

  an interpreter for an operational semantics for the STG machine.

• pyfi

  8.6 0.0 maude VS pyfi

  Call python inline from haskell

* 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
• purescript
  vs
  elm-reactor
• fortran-src
  vs
  really-simple-xml-parser
• frp-arduino
  vs
  haskell-names
• haskell-tools-ast
  vs
  ghc-justdoit