Skip to content
View havleoto's full-sized avatar
2 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report havleoto

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

    Kernel Programming Language Test Suite

    Shell 6 1

  2. idris-rosetta idris-rosetta Public

    Learning Idris through tasks from Rosseta Code

    Idris 2

  3. plang plang Public

    Forked from marianoguerra/plang

    because the world needs another programming language

    Python

  4. icbink icbink Public

    Forked from euccastro/icbink

    A Kernel implementation in RPython

    Python

  5. EuLisp EuLisp Public

    Forked from Henry/EuLisp

    Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations

    C

  6. sedlex sedlex Public

    Forked from ocaml-community/sedlex

    An OCaml lexer generator for Unicode

    OCaml