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