untainsYD
Self-taught full-time software engineer. Mathematician and analytic philosophy enthusiast.
ask me for InformationUA, Kyiv
Pinned Repositories
all-in-one-favicon-generator
Generates all necessary favicons for your website.
bolts
Bolts: Stainless Verified Scala Examples
category-theory-resources
Resources for learning Category Theory for an enthusiast
cats-effect-tutorial
A self-guided tutorial on Cats Effect
content
The content behind MDN Web Docs
morphisms-of-computational-structures
A visual catalogue + story of morphisms displayed across computational structures.
untainsYD's Repositories
untainsYD/all-in-one-favicon-generator
Generates all necessary favicons for your website.
untainsYD/bolts
Bolts: Stainless Verified Scala Examples
untainsYD/category-theory-resources
Resources for learning Category Theory for an enthusiast
untainsYD/cats-effect-tutorial
A self-guided tutorial on Cats Effect
untainsYD/content
The content behind MDN Web Docs
untainsYD/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
untainsYD/creative-scala
Creative Scala for students/lessons
untainsYD/docker-pgadmin
Docker-compose file for pgadmin and postgres
untainsYD/docker-scala-dev
Scala development workflow to isolate dependencies from host machine
untainsYD/history-of-logic
A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
untainsYD/Index
Metarhia educational program index 📖
untainsYD/jdk
JDK main-line development https://openjdk.org/projects/jdk
untainsYD/loom
https://openjdk.org/projects/loom
untainsYD/morphisms-of-computational-structures
A visual catalogue + story of morphisms displayed across computational structures.
untainsYD/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
untainsYD/rofi
A huge collection of Rofi based custom Applets, Launchers & Powermenus.
untainsYD/untainsYD
Shalom, lads
untainsYD/lua-i3ipc
A Lua framework for controlling i3wm or sway
untainsYD/minidot
Dependent Object Types (DOT), bottom up
untainsYD/MPCTT
Modeling and Proving in Computational Type Theory
untainsYD/scala-algos
All Algorithms implemented in Scala
untainsYD/scala_typeclassopedia
Abstractions from Category theory with simple description & implementation, links to further resources.