#

helma

Here are 5 public repositories matching this topic...

helvm / bfjit-idr

Brainfuck JIT/Compiler made with Idris

brainfuck-interpreter helma brainfuck-language bainfuck

Updated Jul 15, 2017
Idris

helvm / idris-subleq

An exploration of a subleq machine whose type reflects its state

Updated Jun 16, 2021
Idris

helvm / brainfuck-idris

Brainfuck interpreter in Idris

brainfuck brainfuck-interpreter helma brainfuck-language

Updated Sep 19, 2014
Idris

helvm / edwinb-ws-idr

Fork of Edwin Brady's Whitespace interpreter in Idris

whitespace helma whitespace-interpreter whitespace-language

Updated Jun 25, 2022
Idris

helvm / brainfeck

Brainfuck interpreter written in Idris

brainfuck brainfuck-interpreter helma brainfuck-language

Updated Aug 30, 2019
Idris

Improve this page

Add a description, image, and links to the helma topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the helma topic, visit your repo's landing page and select "manage topics."