Skip to content
View rokopt's full-sized avatar
42 followers · 5 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

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

  • spec Public

    Forked from FatemeShirazi/spec

    Specifications for the Anoma protocols.

    Idris GNU General Public License v3.0 Updated Aug 3, 2022

  • Idris2 Public

    Forked from idris-lang/Idris2

    A purely functional programming language with first class types

    Idris Other Updated Jul 28, 2021

  • tracy Public

    Forked from wolfpld/tracy

    C++ frame profiler

    C++ Other Updated Jun 27, 2021

  • juvix Public

    Forked from anoma/juvix

    A more elegant language for a more civilized age.

    Haskell GNU General Public License v3.0 Updated Jun 8, 2021

  • fp-samples Public

    Sample functional programs

    Idris GNU General Public License v3.0 Updated May 9, 2021

  • 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 Other Updated May 3, 2021

  • 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 MIT License Updated Apr 15, 2021

  • go Public

    Forked from stellar/go

    Stellar's public monorepo of go code

    Go Other Updated Mar 25, 2021

  • docker-stellar-core-horizon Public

    Forked from stellar/quickstart

    Home of the stellar/quickstart docker image

    Shell Updated Mar 17, 2021

  • packages Public

    Forked from stellar/packages

    SDF - Packages

    Shell Apache License 2.0 Updated Mar 5, 2021

  • photesthesis Public

    Forked from graydon/photesthesis

    test framework

    C++ Apache License 2.0 Updated Feb 17, 2021

  • witch Public

    Forked from wenkokke/witch

    like a wizard, but different and more knowledgeable. also a prototype of an effect-based system for improved UX of proof engineering.

    TeX Updated Jan 11, 2021

  • rokopt.github.io Public

    HTML GNU Affero General Public License v3.0 Updated Nov 28, 2020

  • Idris-dev Public

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell Other Updated Aug 28, 2020

  • stellar-protocol Public

    Forked from stellar/stellar-protocol

    Developer discussion about possible changes to the protocol.

    CSS Updated Aug 3, 2020