GHC Whole Program Compiler and External STG IR tooling
-
Updated
Nov 14, 2024 - Haskell
#
stg
Here are 43 public repositories matching this topic...
Toolset to capture, simulate, synthesize and verify graph models
fsm async simulation eda cad petri-nets circuit formal-verification logic-synthesis stg formal-specification
-
Updated
Dec 23, 2024 - Java
Better particle system for 3d STG games.
-
Updated
Apr 21, 2021 - C#
Manually constructed STG programs compiled with the standard GHC codegen backend.
-
Updated
Jan 10, 2021 - Haskell
🦀🦀🦀 Sort spikes from extra-cellular recordings using neural networks. Fully automated.
neural-network tensorflow matlab neuroscience spike dimensionality-reduction spike-sorting stg extracellular-recordings
-
Updated
Sep 22, 2022 - MATLAB
HTML5 browser stg engine and editor, shmup, javascript, mythical wings, text based levels
-
Updated
Nov 16, 2019 - JavaScript
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
haskell functional-programming cfa static-analysis datalog control-flow-analysis lazy-evaluation closures stg souffle
-
Updated
May 21, 2020 - HTML
-
Updated
May 12, 2024 - Go
sample programs that compile with GHC whole program compiler
-
Updated
Jun 26, 2020 - Haskell
A top-down action game made with Bitty Engine.
lua arcade-game roguelike action-game shooting-game stg top-down-shooter open-source-game shoot-em-up bitty bitty-engine
-
Updated
Sep 30, 2021 - Lua
阴阳神玉，机器人功能合集（采用onebot-11接口）
-
Updated
Dec 12, 2024 - Go
Embedding spike times from a small neural circuit to map how collective dynamics change under different conditions
-
Updated
Feb 3, 2023 - MATLAB
《東方天慾錄 ～The Sealing of Prophet's Fantasy》底層程式 by 冷酔閑吟
-
Updated
Sep 18, 2022 - C++
Improve this page
Add a description, image, and links to the stg topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the stg topic, visit your repo's landing page and select "manage topics."