Skip to content
View Ballemons's full-sized avatar
12 followers · 75 following
Block or Report

Block or report Ballemons

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

Pinned Loading

  1. agda agda Public

    Forked from pedrotst/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell 1

  2. cedille cedille Public

    Forked from pedrotst/cedille

    Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

    Agda 1

  3. coq-of-ocaml coq-of-ocaml Public

    Forked from pedrotst/coq-of-ocaml

    Import OCaml programs to Coq 🐓 🐫

    OCaml 1

  4. gitmagic gitmagic Public

    Forked from blynn/gitmagic

    A guide to using Git

    Makefile

  5. haskell-leb128-cereal haskell-leb128-cereal Public

    Forked from blynn/haskell-leb128-cereal

    LEB128 encoding for Haskell

    Haskell

  6. nex nex Public

    Forked from blynn/nex

    Lexer for Go

    Go