Skip to content
Compiler for the Mirth programming language, a type-safe functional Forth.
Branch: master
Clone or download
Latest commit 6c56b80 Jul 9, 2019
Type Name Latest commit message Commit time
Failed to load latest commit information.
bootstrap Update REPL credits Jun 23, 2019
formal move back to formal Apr 3, 2019
src restructure src/mirth Jul 9, 2019
tools/mirth-vim Accept ||| syntax in bootstrap. May 11, 2019
.gitignore Add .swp to gitignore. Apr 6, 2019
LICENSE Reorg. Mar 24, 2019
Makefile More elab. May 19, 2019
PATRONS.txt Update PATRONS.txt Jun 23, 2019 Update vim syntax rules for tags. May 7, 2019
VERSION add VERSION Apr 15, 2019 Fix test script. May 5, 2019


Mirth is a new type-safe concatenative functional programming languague. Mirth was inspired by Forth, Joy, Haskell, Idris, Rust, Lisp, and symmetric monoidal category theory. This repo is the WIP implementation of these ideas. If you are interested, please support the development of Mirth on Patreon! Thank you for your time and generosity.

Directory structure:

  • src: Source code for compiler, written in Mirth.

  • bootstrap: Bootstrap for compiler, i.e. a minimal Mirth interpreter.

  • formal: Formal models of mirth.

  • tools: Development tools.

    • tools/mirth-vim: Mirth syntax highlighting for Vim. To use, install Pathogen, then run make install-vim.

Issues and Contribution

Please use GitHub issues for bug reports and requests.

To contribute directly, open a pull request on the GitHub repo. Files must be contributed under the MPL2.0 license (see below). Add the following license notice at the top of any new files:

This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at

If you see something that can be improved, please contribute!


The entire code base is licensed under the Mozilla Public License 2.0.

This license gives anyone the right to view, share, modify, and contribute source code, as long as the license notice is preserved at the top of every source code file. The code base (or portions and/or modifications thereof) can be used or distributed as part of a larger project, as long as the license notice is preserved, or in binary form, as long as source code is made available to the user. For the avoidance of doubt, this paragraph is merely informative and only the license text matters.

Please read the license text under LICENSE.txt or here or here.

You can’t perform that action at this time.