Pinned Repositories
SDL.lean
SDL2 bindings for lean
Advent-of-Code-2023
My Advent of Code 2023 solutions in Lean4
blue-rectangle
Haskell 2D platformer using Dunai, Bearriver and SDL2
lean4-simple-rtx
Toy raytracer in Lean4
Phylogeography
SDL.lean
SDL2 bindings for lean
SpaceInvaders
A Haskell game written in Yampa, ported to Wasm
yampa-wasm-example
Example of using Yampa and GHC Wasm backend to create a simple web app.
dunai
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
Yampa
Functional Reactive Programming domain-specific language for efficient hybrid systems
AntanasKal's Repositories
AntanasKal/yampa-wasm-example
Example of using Yampa and GHC Wasm backend to create a simple web app.
AntanasKal/SpaceInvaders
A Haskell game written in Yampa, ported to Wasm
AntanasKal/blue-rectangle
Haskell 2D platformer using Dunai, Bearriver and SDL2
AntanasKal/lean4-simple-rtx
Toy raytracer in Lean4
AntanasKal/Phylogeography
AntanasKal/Advent-of-Code-2023
My Advent of Code 2023 solutions in Lean4
AntanasKal/SDL.lean
SDL2 bindings for lean