GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → mroman42 → Mikrokosmos

mroman42 / Mikrokosmos

Licence: gpl-3.0
(λ) Educational lambda calculus interpreter

Programming Languages

haskell
3896 projects

Labels

interpreterlambda-calculus

Projects that are alternatives of or similar to Mikrokosmos

ATS-blockchain
⛓️ Blockchain + Smart contracts from scratch
Stars: ✭ 18 (-64%)
Mutual labels:  interpreter, lambda-calculus
lambda
lambda calculus interpreter
Stars: ✭ 23 (-54%)
Mutual labels:  interpreter, lambda-calculus
StepULC
Efficient and single-steppable ULC evaluation algorithm
Stars: ✭ 15 (-70%)
Mutual labels:  interpreter, lambda-calculus
Plam
An interpreter for learning and exploring pure λ-calculus
Stars: ✭ 385 (+670%)
Mutual labels:  lambda-calculus, interpreter
Pts
implementation of Pure Type Systems (PTS) in Rust.
Stars: ✭ 41 (-18%)
Mutual labels:  lambda-calculus
Seax
A VM-based runtime environment for functional programming languages
Stars: ✭ 36 (-28%)
Mutual labels:  interpreter
Rustpython
A Python Interpreter written in Rust
Stars: ✭ 10,261 (+20422%)
Mutual labels:  interpreter
Pseudo
PSeudo - The world's simplest PLAYSTATION emulator
Stars: ✭ 31 (-38%)
Mutual labels:  interpreter
Hermes
C-like scripting language
Stars: ✭ 48 (-4%)
Mutual labels:  interpreter
Lambda calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Stars: ✭ 46 (-8%)
Mutual labels:  lambda-calculus
Openxion
OpenXION - Reference Implementation of the XION Scripting Language
Stars: ✭ 40 (-20%)
Mutual labels:  interpreter
Brainfuck C
Brainfuck interpreter in C.
Stars: ✭ 36 (-28%)
Mutual labels:  interpreter
Antlr4 Calculator
Simple antlr4 calculator.
Stars: ✭ 40 (-20%)
Mutual labels:  interpreter
Nimlox
Interpreter for the 'Lox' language written in Nim
Stars: ✭ 35 (-30%)
Mutual labels:  interpreter
O
Language for code-golf with a focus on unreadability
Stars: ✭ 46 (-8%)
Mutual labels:  interpreter
Zion
A statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-34%)
Mutual labels:  lambda-calculus
Goawk
A POSIX-compliant AWK interpreter written in Go
Stars: ✭ 995 (+1890%)
Mutual labels:  interpreter
U6a
Implementation of Unlambda, an esoteric programming language.
Stars: ✭ 46 (-8%)
Mutual labels:  interpreter
Mips
MIPS assembler and simulator
Stars: ✭ 38 (-24%)
Mutual labels:  interpreter
Rascal
A simple Pascal interpreter written in rust.
Stars: ✭ 38 (-24%)
Mutual labels:  interpreter
View All Similar Projects ➔

mikrokosmos

Version Travis (.org) DOI DOI

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.

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 the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].