stgi
Program Execution Model Interpreter
An interpreter for a visual programming model to help understand Haskell's execution model
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
527 stars
24 watching
26 forks
Language: Haskell
last commit: over 3 years ago Related projects:
Repository | Description | Stars |
---|---|---|
quchen/articles | A collection of articles about Haskell programming and its applications. | 1,255 |
lxtgh/omg-seg | Develops an end-to-end model for multiple visual perception and reasoning tasks using a single encoder, decoder, and large language model. | 1,336 |
runtimeverification/haskell-backend | Symbolic execution engine powering the K Framework | 212 |
quchen/generative-art | A Haskell-based tool for creating generative art using geometric shapes and graphics libraries. | 148 |
terenceng03/mueval | A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment. | 76 |
haskell/stm | A Haskell implementation of software transactional memory for concurrent programming | 99 |
def-/ghc-vis | A tool to visualize live Haskell data structures in GHCi | 136 |
mthom/shentong | An implementation of a modern Lisp family programming language | 163 |
heinrichapfelmus/hyper-haskell | An interactive graphical interpreter for the Haskell programming language | 361 |
delta456/monkey_v | An implementation of a programming language interpreter in V. | 37 |
haskell-hint/hint | An interpreter for a functional programming language, allowing developers to run and interact with compiled code at runtime. | 261 |
sdm-tib/dragoman | An interpreter for functional mappings in knowledge graphs, optimized for execution and transformation of RML mapping rules. | 6 |
phipsgabler/operajonal | A JavaScript implementation of an operational monad style for recursive program interpretation | 6 |
quil-lang/qvm | A high-performance simulator for quantum computing instructions | 416 |
jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 242 |