mikrokosmos alternatives and similar packages
Based on the "Language" category.
Alternatively, view mikrokosmos alternatives based on common mentions on social networks and blogs.
-
-
elm-compiler
Compiler for Elm, a functional language for reliable webapps. -
stylish-haskell
Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell] -
-
-
-
-
haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer -
haskell-tools-ast-fromghc
Developer tools for Haskell -
-
-
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types -
language-python
A parser for Python 2.x and 3.x written in Haskell -
nirum
Nirum: IDL compiler and RPC/distributed object framework for microservices -
elm-export
Create Elm types and JSON decoders from Haskell source. -
-
tal
An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) -
camfort
Light-weight verification and transformation tools for Fortran -
-
language-c-quote
C/CUDA/OpenCL/Objective-C quasiquoting library. -
language-ecmascript
Haskell library: ECMAScript parser, pretty-printer and additional tools -
-
aterm-utils
Utility functions for working with aterms as generated by Minitermite -
-
ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine. -
-
-
-
purescript-tsd-gen
TypeScript Declaration File (.d.ts) generator for PureScript
Updating dependencies is time-consuming.
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.
Do you think we are missing an alternative of mikrokosmos or a related project?
|
Static code analysis for 29 languages.
sponsored
www.sonarqube.org
|
Popular Comparisons
-
mikrokosmosvslanguage-ecmascript
-
mikrokosmosvsrail-compiler-editor
-
fortran-srcvsreally-simple-xml-parser
-
stylish-haskellvsbrittany
-
purescriptvselm-reactor
|
Collect and Analyze Billions of Data Points in Real Time
sponsored
www.influxdata.com
|
README
mikrokosmos
Mikrokosmos is a λ-calculus interpreter, borrowing its name from the series of progressive piano études Mikrokosmos written by Bela Bartok. It aims to provide students with a tool to learn and understand λ-calculus. It supports both untyped λ-calculus and simply typed λ-calculus.
- Try Mikrokosmos!, online interpreter.
- Mikrokosmos tutorial, an online tutorial.
- Mikrokosmos user's guide, contains installation instructions.
- Mikrokosmos on Hackage.
Support and contributions
If you are an user seeking support, please use the GitHub issue tracker of the main repository. Any bug, failure, or unintended behaviour of the program, specially if it differs from the behaviour described on the user's guide, should be reported on the issue tracker. When doing so, please try to include all the relevant information, the steps you may take to reproduce the error, and the platform and version of Mikrokosmos you were using.
Mikrokosmos is open to pull requests and issue reports from everyone (please see the CONTRIBUTING file). The code is licensed under the GNU General Public License Version 3 (see the LICENSE file).
*Note that all licence references and agreements mentioned in the mikrokosmos README section above
are relevant to that project's source code only.