A computationally universal register machine implementation at the type-level

register-machine-typelevel alternatives and similar packages

Based on the "Language" category

• elm-compiler

  10.0 9.6 register-machine-typelevel VS elm-compiler

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

• purescript

  10.0 8.1 register-machine-typelevel VS purescript

  PureScript Programming Language Compiler

• cryptol

  9.9 8.9 register-machine-typelevel VS cryptol

  Cryptol

• stylish-haskell

  9.9 5.1 register-machine-typelevel VS stylish-haskell

  Haskell code prettifier

• liquidhaskell

  9.9 9.4 register-machine-typelevel VS liquidhaskell

  Liquid Types for Haskell

• elm-reactor

  9.8 0.1 register-machine-typelevel VS elm-reactor

  Interactive development tool for Elm programs

• brittany

  9.8 7.1 register-machine-typelevel VS brittany

  Haskell source code formatter

• elm-server

  9.8 0.0 register-machine-typelevel VS elm-server

  Server for developing Elm projects

• ivory

  9.8 0.9 register-machine-typelevel VS ivory

  Safe embedded C programming.

• elm-get

  9.7 0.1 register-machine-typelevel VS elm-get

  Tool for sharing and using Elm libraries

• elm-package

  9.7 0.0 register-machine-typelevel VS elm-package

  Package manager for Elm libraries

• haskell-src-exts

  9.7 4.0 register-machine-typelevel VS haskell-src-exts

  Manipulating Haskell source

• frp-arduino

  9.6 3.6 register-machine-typelevel VS frp-arduino

  Arduino programming without the hassle of C.

• haskell-tools-ast-gen

  9.6 2.3 register-machine-typelevel VS haskell-tools-ast-gen

  Facilities for generating new parts of the Haskell-Tools AST

• haskell-tools-ast-fromghc

  9.6 3.6 register-machine-typelevel VS haskell-tools-ast-fromghc

  Creating the Haskell-Tools AST from GHC's representations

• haskell-tools-ast

  9.6 2.3 register-machine-typelevel VS haskell-tools-ast

  Haskell AST for efficient tooling

• nirum

  9.5 3.9 register-machine-typelevel VS nirum

  IDL compiler and RPC/distributed object framework for microservices

• elm-export

  9.5 0.0 register-machine-typelevel VS elm-export

  A library to generate Elm types from Haskell source.

• language-javascript

  9.4 5.8 register-machine-typelevel VS language-javascript

  Parser for JavaScript

• language-python

  9.4 5.3 register-machine-typelevel VS language-python

  Parsing and pretty printing of Python code.

• shentong

  9.3 0.0 register-machine-typelevel VS shentong

  A Haskell implementation of the Shen programming language

• jvm-parser

  9.2 2.3 register-machine-typelevel VS jvm-parser

  A parser for JVM bytecode files

• elsa

  9.2 2.7 register-machine-typelevel VS elsa

  A tiny language for understanding the lambda-calculus

• tal

  9.2 0.0 register-machine-typelevel VS tal

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

• hfmt

  9.2 3.1 register-machine-typelevel VS hfmt

  Haskell source code formatter

• language-java

  9.2 0.0 register-machine-typelevel VS language-java

  Manipulating Java source

• camfort

  9.1 7.8 register-machine-typelevel VS camfort

  CamFort - Cambridge Fortran infrastructure

• elm-bridge

  9.1 3.6 register-machine-typelevel VS elm-bridge

  Derive Elm types from Haskell types

• ghc-justdoit

  9.1 1.7 register-machine-typelevel VS ghc-justdoit

  A magic typeclass that just does it

• liquid-fixpoint

  9.1 8.5 register-machine-typelevel VS liquid-fixpoint

  Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

• peggy

  9.1 0.0 register-machine-typelevel VS peggy

  The Parser Generator for Haskell

• aterm-utils

  9.0 0.0 register-machine-typelevel VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite

• hgrep

  9.0 0.0 register-machine-typelevel VS hgrep

  Search Haskell source code from the command line

• language-ecmascript

  9.0 0.0 register-machine-typelevel VS language-ecmascript

  JavaScript parser and pretty-printer library

• type-of-html

  9.0 4.3 register-machine-typelevel VS type-of-html

  High performance type driven html generation.

• language-c-quote

  8.9 0.0 register-machine-typelevel VS language-c-quote

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

• why3

  8.9 0.0 register-machine-typelevel VS why3

  Haskell support for the Why3 input format.

• exference

  8.9 0.0 register-machine-typelevel VS exference

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

• formura

  8.8 0.0 L3 register-machine-typelevel VS formura

  Formura is a simple language to describe stencil computation.

• LibClang

  8.7 0.0 register-machine-typelevel VS LibClang

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

• pyfi

  8.6 0.0 register-machine-typelevel VS pyfi

  Call python inline from haskell

• imprevu

  8.6 0.0 register-machine-typelevel VS imprevu

  Reactive programming language based on a DSL

• nomyx-library

  8.6 0.0 register-machine-typelevel VS nomyx-library

  Library of rules for Nomyx

• sized-types

  8.5 0.0 register-machine-typelevel VS sized-types

  Sized types in Haskell using the GHC Nat kind.

• fortran-src

  8.5 8.5 register-machine-typelevel VS fortran-src

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

• haskell-names

  8.5 3.3 register-machine-typelevel VS haskell-names

  Name resolution library for Haskell

• ministg

  8.5 0.1 register-machine-typelevel VS ministg

  an interpreter for an operational semantics for the STG machine.

• Obsidian

  8.5 0.0 register-machine-typelevel VS Obsidian

  Embedded language for GPU Programming

• Paraiso

  8.4 0.0 L2 register-machine-typelevel VS Paraiso

  a code generator for partial differential equations solvers.

• raw-feldspar

  8.3 3.3 register-machine-typelevel 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 register-machine-typelevel or a related project?

Add another 'Language' Package

Popular Comparisons

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