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
Pinned Loading
-
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.