helvm / helma

🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell

🔧 🎨 HelMA - Haskellish Esoteric Limited Minimal Automaton for Esoteric Languages implemented in Haskell

One Automaton to rule them all, One Automaton to find them, One Automaton to bring them all and in the rainbow bind them.

One Automaton to rule them all, One Automaton to find them, One Automaton to bring them all and in the rainbow bind them.

🔧 🎨 HelMA is first part of HelVM project and implementation of:

• 🧑‍🔧 🧑‍🎨 HAMALAM - Holistic Actual Minimalist Languages of Automatic Machine.
• 🧑‍🔧 🧑‍🎨 HAMAMAL - Holistic Actual Minimalist Automatic Mechanical Languages is a kind of Low-level First-generation Code for Esoteric Languages.

FOR everyone
WHO want to run esoteric languages
THE HelMA IS a Heavenly Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
THAT is an Automaton and an Interpreter for Esoteric Languages (EsoAutomata)

Features

Currently, 🔧 🎨 HelMA can interpret:

• structured:
  • 🌈 BrainFuck
• goto:
  • ❤️ ETA
  • 💙 SubLeq
  • 🤍 WhiteSpace

For Users

• INSTALL - How to download and run
• AUTHORS - List of authors
• THANKS - Thanks for inspiration
• TODO - Features and to do for all projects
• NEWS - New features
• FAQ - Frequently Asked Questions & Frequently Given Answers

For Developers

• BUGS - Know bugs to fix
• ROADMAP - Long versions of TODO
• CHANGELOG - Long versions of NEWS
• ARCHITECTURE - List of libraries
• CONTRIBUTING
• CODE OF CONDUCT

Reports

• hadock - A documentation
• hpc - Haskell program coverage report
• stan - Haskell STatic ANalyser report
• hlint - Source code suggestions report

🦄 🌈 ❤️ 💛 💚 💙 🤍 🖤

helma's Issues

Implement Malbolge interpreter

• https://github.com/helvm/malbolge
• https://github.com/helvm/malacoda
• https://github.com/ss7m/malbolge-hs
• https://github.com/helvm/Malbolge-Unshackled
• https://github.com/helvm/Haskell-Malbolge-interpreter
• https://github.com/helvm/malbolge_interpreter_in_haskell
• http://www.lscheffer.com/malbolge.shtml

Add Summoner

https://github.com/kowainik/summoner

Use faster BF interpreter

• https://github.com/helvm/yabi/blob/master/yabi.hs
• https://github.com/helvm/BFCompiler-Xandaros/blob/master/src/BF/Syntax.hs
• https://github.com/helvm/haskell-brainfuck-parsercombinators/blob/master/Brainfuck.hs
• https://github.com/helvm/Brainfuck.hs/blob/master/brainfuck.hs

Build tree of code. Single instruction or vector of instruction.

Implement SubLeq+ Interpreter

Implement:

• SubLeq+
• SubLeq4 for 4 operands in instruction

Use stylish-haskell

https://github.com/haskell/stylish-haskell

Implement BitFuck Interpreter

https://esolangs.org/wiki/Boolfuck

Use MonadWriter for logging

• https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Writer-Lazy.html
• https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Writer-Class.html

Use ReadP for structured languages

ReadP is too slow, we have to fix it.

• ReadP shoud be optional for BF
• ReadP shoud only numbers, strings, comments and lambdas for False and Fake

---

https://hackage.haskell.org/package/base-4.16.0.0/docs/Text-ParserCombinators-ReadP.html
https://en.wikibooks.org/wiki/Haskell/ParseExps

Use ReadP for:

• Lazy K
• BrainFuck
• FALSE
• FAKE
• DUP

Implement Funge interpreter

Implemented Funge

• https://github.com/helvm/fungi & https://hackage.haskell.org/package/Fungi Funge-98 interpreter
• https://github.com/helvm/Fungoid - Befunge-93 interpreter written in Haskell!
• https://github.com/helvm/befunge - A Befunge-93 and doublefunge interpreter
• https://github.com/helvm/simplefunge

Require

• #7
• #23

Use forM_ in tests

Use Either, remove all error

don't use error!

Replace all String by Text

Required by:

• https://github.com/helvm/helma/issues/11

Implement SimpleFunge interpreter

https://github.com/helvm/simplefunge

after #5

Implement FlipJump interpreter

https://github.com/tomhea/flip-jump

Implement False interpreter

• Implement parser
• Replace Value by Expression
• Implement Evaluator
• Compile from Expressions to Instructions and Use Standard Evaluator - Unit

Add flag for logic (non bitwise) operator

• https://esolangs.org/wiki/FALSE
• https://github.com/helvm/false_interpreter
• https://github.com/helvm/false-hs
• PICK is Halibut from ETA, make MOVE for negative index

Required:

• #72
• #102

Implement Toga interpreter

https://github.com/helvm/toga

Use Makefile from haskeleton

• https://github.com/tfausak/haskeleton
• https://taylor.fausak.me/2014/03/04/haskeleton-a-haskell-project-skeleton/

Use Free Monad

Use Free Monad for optimization imports in assembler

Use ListLike

Implement Maentwrog Interpreter

• https://github.com/esovm/Maentwrog
• https://esolangs.org/wiki/Maentwrog

Replace HUnit by HSpec

Implement Piet interpreter

Implemented Piet

• Original Piet Interpreter - Erik Schoenfelder has written npiet, a very nice Piet interpreter with the ability to print program traces and a supporting Piet editor! It's feature-packed and pretty cool.
• An interpreter for the programming language Piet
• piet-interpreters
• https://hackage.haskell.org/package/piet - A Piet interpreter, the best implementation, but need Position data
• https://github.com/helvm/pietc - pietc is a Piet compiler. This compiles Piet programs to native executable programs.
• https://github.com/helvm/piet-inf - Infinitely-recursive procedurally-generated Piet-esque compositions.
• https://github.com/helvm/piet-willem-o - An interpreter for the programming language Piet (http://www.dangermouse.net/esoteric/piet.html). Currently only runs the program "hi.png".
• https://github.com/helvm/piet-interpreters

Require

• #7
• #37
• https://github.com/helvm/helma/issues/39

Add Gauga

https://hackage.haskell.org/package/gauge

Implement Zot Interpreter

• https://github.com/helvm/zot_haskell - implement Zot by Haskell
• https://esolangs.org/wiki/Zot

Required:

• #31

Implement Unlambda interpreter

• https://github.com/helvm/unlambda-abbradar
• https://github.com/helvm/unlambda-hellerve
• https://github.com/helvm/Unlambda-NicklasBoto
• https://github.com/anschelsc/pure
• https://gist.github.com/kamil-adam/f27632da01e39dc77f5b1bc9df4b8e70

Add eForth in Subleq to tests

https://github.com/helvm/subleq

Add SemiSequence instances for DList

Use GADT for Memories

If Type Families faulted use GADT

Add pretty printer for WS

• Read WS
• Convert to IL
• Convert to TL
• Print as STN

Implement BitBitJump interpreter

https://github.com/helvm/BitBitJump

Use FMList

Add IsSequence instances for SList

Refactor CartesianProduct to ZipA

Use Functional Dependency for Memory (Stack and Ram) and fix signatures of methods (Associated Type)

https://wiki.haskell.org/Functional_dependencies

Use Finally Tagless

Add Haddock

https://haskell-haddock.readthedocs.io/en/latest/index.html

Use DList for MockIO

DList + String = DString ?

Implement Unileq interpreter

https://github.com/esovm/unileq

https://alecdee.github.io/unileq/index.html

Extract Stack from Evaluator for all EsoLanguages

Implement Thue interpreter

• https://github.com/helvm/hsThue
• https://esolangs.org/wiki/Thue
• https://en.wikipedia.org/wiki/Thue_(programming_language)

Remove Interact implementation

Implement FAKE interpreter

Implement undefined interpreter false with unlimited memory

• https://esolangs.org/wiki/FAKE
• https://esolangs.org/wiki/DUP

Required:

• #99

Use Free Monad

Add Stan

https://github.com/kowainik/stan

Add other implementation of ETA

We have only MonadicEvaluator

Implement Turing Machine

• https://esolangs.org/wiki/Turing_machine
• https://github.com/helvm/haskell-turing-complete

Remove MonoTraversable

Use Type Families for memory (stack and ram) and fix signatures of methods (Associated Type)

Use Type Families, because Type Families are more restricted than Functional Dependency
https://wiki.haskell.org/GHC/Type_families

• Use mono-traversable and IsSequence
• Use IsList for fromList
• Use One Container for one
• Add maybeToMonoid
• Raname FronList to Container
• Rename Loolup to Collection
• Rename Insert to InsertCollection
• Create new type IndexedMap from IntMap
• Add StaticMap for List? https://hackage.haskell.org/package/relude-1.0.0.1/docs/Relude-Extra-Map.html#t:StaticMap
• Use https://github.com/kowainik/containers-backpack https://kowainik.github.io/posts/2018-08-19-picnic-put-containers-into-a-backpack

After

• #7

Use classy-prelude: A typeclass-based Prelude for Memories

https://hackage.haskell.org/package/classy-prelude

Implement CryptoLeq

https://esolangs.org/wiki/Cryptoleq

Use Immutable Vector for code in Evalutator

Implement LOLCODE Interpreter

• https://github.com/helvm/hlci
• https://esolangs.org/wiki/LOLCODE