Skip to content
View Lebedka's full-sized avatar
3 followers · 2 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report Lebedka

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

    TeX 1

  2. course course Public

    Forked from system-f/fp-course

    Functional Programming Course

    Haskell

  3. PublicService PublicService Public

    Forked from SiliconEconometrics/PublicService

    Code released as a public service by Silicon Econometrics Pty. Ltd. No warranties provided.

    Scala

  4. Skeptik Skeptik Public

    Forked from Paradoxika/Skeptik

    A library for Proof Theory (especially Proof Compression) in Scala.

    SMT

  5. openstv openstv Public

    Forked from OpenTechStrategies/openstv

    Latest open source version of OpenSTV voting software, which was GPL'd until going proprietary in mid-2011 (apparently after 1.7).

    Python

  6. the-super-tiny-compiler the-super-tiny-compiler Public

    Forked from jamiebuilds/the-super-tiny-compiler

    ⛄ Possibly the smallest compiler ever

    JavaScript