I am a programmer who is on a quest for better ways of abstracting ideas and models to make software more scalable, performant and elegant.
-
Dodrotu
- Colombia
Highlights
- Pro
Block or Report
Block or report sebashack
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
dependent-types-machine
dependent-types-machine PublicAn example of a state machine with dependent types in Haskell to handle http requests.
Haskell 1
-
-
-
LensPlayground
LensPlayground PublicHere I implement myself some of the types and functions of the lens package.
Haskell 1
-
rust_algorithms
rust_algorithms PublicRobert Sedgewick's algorithms and data structures implemented in Rust.
Rust
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.