GHC Whole Program Compiler and External STG IR tooling
-
Updated
Dec 10, 2021 - Haskell
#
stg
Here are 31 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
Mar 25, 2022 - Java
Manually constructed STG programs compiled with the standard GHC codegen backend.
-
Updated
Jan 10, 2021 - Haskell
neural-network
tensorflow
matlab
neuroscience
spike
dimensionality-reduction
spike-sorting
stg
extracellular-recordings
-
Updated
Sep 9, 2021 - 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
sample programs that compile with GHC whole program compiler
-
Updated
Jun 26, 2020 - Haskell
Embedding spike times from a small neural circuit to map how collective dynamics change under different conditions
-
Updated
Feb 27, 2022 - MATLAB
东方Project沙包聚集地机器人MiraiGo版本
-
Updated
Mar 26, 2022 - Go
Python library of Prime STG-DC Interface Specification
-
Updated
Mar 31, 2022 - Python
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
东方Project沙包聚集地机器人
-
Updated
Apr 1, 2022 - Python
STG from scratch.
-
Updated
Oct 13, 2020 - 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."