Skip to content
generally unavail until 2023
generally unavail until 2023


  • Pro
Block or Report

Block or report cyberglot

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.

Add an optional note:
Report abuse

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

Report abuse


  1. anoma/juvix Public

    An experimental programming language created by Heliax as a first step toward creating more robust and reliable alternatives for formally verified smart contracts than existing languages.

    Haskell 326 22

  2. typed-lvar Public

    semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.


  3. It may work, use at your own discretion.

    Emacs Lisp 4

  4. koka Public

    Forked from koka-lang/koka

    Koka language compiler and interpreter


  5. Chapelure is a diagnostic library for Haskell

    Haskell 40 2

  6. Agda bindings to SMT-LIB2 compatible solvers.

    Agda 78 8

134 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

October 2022

cyberglot has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.