Skip to content
View AntanasKal's full-sized avatar

Block or report AntanasKal

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. yampa-wasm-example yampa-wasm-example Public

    Example of using Yampa and GHC Wasm backend to create a simple web app.

    Haskell 15 1

  2. SpaceInvaders SpaceInvaders Public

    Forked from ivanperez-keera/SpaceInvaders

    A Haskell game written in Yampa, ported to Wasm

    Haskell 6 1

  3. blue-rectangle blue-rectangle Public

    Haskell 2D platformer using Dunai, Bearriver and SDL2

    Haskell 5

  4. Phylogeography Phylogeography Public

    Jupyter Notebook 1 1

  5. lean4-simple-rtx lean4-simple-rtx Public

    Toy raytracer in Lean4

    Lean 1

  6. SDL.lean SDL.lean Public

    Forked from Anderssorby/SDL.lean

    SDL2 bindings for lean

    Lean