Terence Rokop's repositories
dao-fp-exercises
Idris answers to exercises from Bartosz Milewski's _The Dao of Functional Programming_ (https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP)
stellar-core
stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network
docker-stellar-core-horizon
Home of the stellar/quickstart docker image
fp-samples
Sample functional programs
go
Stellar's public monorepo of go code
Idris-dev
A Dependently Typed Functional Programming Language
Idris2
A purely functional programming language with first class types
juvix
A more elegant language for a more civilized age.
packages
SDF - Packages
photesthesis
test framework
spec
Specifications for the Anoma protocols.
stellar-protocol
Developer discussion about possible changes to the protocol.
tracy
C++ frame profiler
witch
like a wizard, but different and more knowledgeable. also a prototype of an effect-based system for improved UX of proof engineering.