Pinned Repositories
blog
cpu_simulator
super-hyper-cool simulator for EFB 1st architecture
data-vector-growable
Dynamic, growable, resizable, mutable and generic vector implementation
dein_SATySFi.toml
dotfiles
eks-blueprints-workloads
EventB-ASG
extensible
Extensible records, variants, structs, effects, tangles
functory-lang
troll
dwarf debug information analyzer
forestaa's Repositories
forestaa/troll
dwarf debug information analyzer
forestaa/blog
forestaa/cpu_simulator
super-hyper-cool simulator for EFB 1st architecture
forestaa/data-vector-growable
Dynamic, growable, resizable, mutable and generic vector implementation
forestaa/dein_SATySFi.toml
forestaa/dotfiles
forestaa/eks-blueprints-workloads
forestaa/EventB-ASG
forestaa/extensible
Extensible records, variants, structs, effects, tangles
forestaa/functory-lang
forestaa/ghci-dap
ghci having DAP interface.
forestaa/go-cast
A command line tool to control Google Chromecast devices.
forestaa/haskell-dap
Haskell implementation of DAP interface data.
forestaa/haskell-debug-adapter
Debug Adapter for Haskell debugging system.
forestaa/haskell-debug-adapter-test
forestaa/homecast
Text-to-Speech on your Google Home
forestaa/LTL-ModelChecking
forestaa/oauth-in-action-code
Source code for OAuth 2 in Action
forestaa/passkey-rs-demo
forestaa/play-youtube-googlehome
forestaa/raytracer
forestaa/SATySFi
A statically-typed, functional typesetting system
forestaa/suiteki
super-hyper-cool assembler for our 1st architecture
forestaa/TaPL
forestaa/Tiger-Compiler
forestaa/vscode-alex-happy-syntax
forestaa/vscode-gitlens
Supercharge Git inside VS Code and unlock untapped knowledge within each repository — Visualize code authorship at a glance via Git blame annotations and CodeLens, seamlessly navigate and explore Git repositories, gain valuable insights via rich visualizations and powerful comparison commands, and so much more
forestaa/vscode-spotless-gradle
A VS Code extension to lint & format your source files using Spotless & Gradle.
forestaa/writing-an-os-in-rust