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