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 10 2

2. docker-stellar-core-horizon docker-stellar-core-horizon Public

   Forked from stellar/quickstart

   Home of the stellar/quickstart docker image

   Shell 1

3. packages packages Public

   Forked from stellar/packages

   SDF - Packages

   Shell 1

4. tracy tracy Public

   Forked from wolfpld/tracy

   C++ frame profiler

   C++ 1

5. Idris2 Idris2 Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris 1

6. anoma-llm anoma-llm Public

   Forked from anoma/llm

   1