Skip to content
View edoput's full-sized avatar
34 followers · 59 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@LILiK-117bis
Block or Report

Block or report edoput

Report abuse

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

Report abuse

Pinned Loading

  1. netjsonconfig-airos netjsonconfig-airos Public

    experiment to convert NetJSON to AirOS7/8 configuration files

    Python 5 1

  2. lcf-prover lcf-prover Public

    silly automated prover for minimal propositional logic

    OCaml 5

  3. native native Public

    Native messaging made easier. A library to implement the other end of a WebExtension using native messaging.

    Go

  4. silly-make silly-make Public

    C