Skip to content
View Surobaki's full-sized avatar

Sponsoring

@dali99

Block or report Surobaki

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. dynga dynga Public

    SvelteKit web application showing off the Dynga language.

    JavaScript 1

  2. BidiTyper BidiTyper Public

    Following along the paper 'Bidirectional Typing' by Dunfield & Krishnaswami

    1

  3. soctemplate soctemplate Public

    Forked from RoboticsBrno/soctemplate

    A LaTeX template for Středoškolská odborná činnosť thesis

    TeX 1

  4. academic-soup academic-soup Public

    Personal website in Haskell using the Slick framework & template.

    HTML

  5. ihp ihp Public archive

    Forked from digitallyinduced/ihp

    🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

    Haskell

  6. stlc-liv stlc-liv Public

    Implementation of Simply Typed Liv Calculus

    OCaml