Skip to content
View rokopt's full-sized avatar

Organizations

@anoma

Block or report rokopt

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. dao-fp-exercises dao-fp-exercises Public

    Idris answers to exercises from Bartosz Milewski's _The Dao of Functional Programming_ (https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP)

    Idris 9 2

  2. stellar-core stellar-core Public

    Forked from stellar/stellar-core

    stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network

    C 1 1

  3. docker-stellar-core-horizon docker-stellar-core-horizon Public

    Forked from stellar/quickstart

    Home of the stellar/quickstart docker image

    Shell

  4. stellar-protocol stellar-protocol Public

    Forked from stellar/stellar-protocol

    Developer discussion about possible changes to the protocol.

    CSS

  5. Idris-dev Idris-dev Public

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell

  6. rokopt.github.io rokopt.github.io Public

    HTML