untainsYD
Follow
-
cats-effect-tutorial Public
Forked from creativescala/cats-effect-tutorialA self-guided tutorial on Cats Effect
Scala UpdatedOct 24, 2024 -
creative-scala Public
Forked from creativescala/creative-scala-templateCreative Scala for students/lessons
Scala Apache License 2.0 UpdatedSep 15, 2024 -
-
coq-art Public
Forked from coq-community/coq-artCoq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Coq MIT License UpdatedJul 24, 2024 -
MPCTT Public
Forked from uds-psl/MPCTTModeling and Proving in Computational Type Theory
Coq UpdatedJul 17, 2024 -
bolts Public
Forked from epfl-lara/boltsBolts: Stainless Verified Scala Examples
Scala Apache License 2.0 UpdatedMay 14, 2024 -
scala_typeclassopedia Public
Forked from lemastero/scala_typeclassopediaAbstractions from Category theory with simple description & implementation, links to further resources.
Scala Creative Commons Attribution Share Alike 4.0 International UpdatedApr 19, 2024 -
category-theory-resources Public
Forked from prathyvsh/category-theory-resourcesResources for learning Category Theory for an enthusiast
UpdatedJan 22, 2024 -
Index Public
Forked from HowProgrammingWorks/IndexMetarhia educational program index 📖
MIT License UpdatedJan 22, 2024 -
jdk Public
Forked from openjdk/jdkJDK main-line development https://openjdk.org/projects/jdk
Java GNU General Public License v2.0 UpdatedJan 22, 2024 -
loom Public
Forked from openjdk/loomhttps://openjdk.org/projects/loom
Java GNU General Public License v2.0 UpdatedJan 22, 2024 -
scala-algos Public
Forked from TheAlgorithms/ScalaAll Algorithms implemented in Scala
Scala MIT License UpdatedJan 20, 2024 -
docker-pgadmin Public
Docker-compose file for pgadmin and postgres
GNU General Public License v3.0 UpdatedOct 17, 2023 -
docker-scala-dev Public
Scala development workflow to isolate dependencies from host machine
Dockerfile GNU Lesser General Public License v2.1 UpdatedOct 16, 2023 -
content Public
Forked from mdn/contentThe content behind MDN Web Docs
Markdown Other UpdatedMar 1, 2023 -
rofi Public
Forked from adi1090x/rofiA huge collection of Rofi based custom Applets, Launchers & Powermenus.
Shell GNU General Public License v3.0 UpdatedMar 1, 2023 -
lua-i3ipc Public
Forked from kraftwerk28/lua-i3ipcA Lua framework for controlling i3wm or sway
Lua MIT License UpdatedFeb 15, 2023 -
history-of-logic Public
Forked from prathyvsh/history-of-logicA repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
UpdatedAug 4, 2022 -
morphisms-of-computational-structures Public
Forked from prathyvsh/morphisms-of-computational-structuresA visual catalogue + story of morphisms displayed across computational structures.
UpdatedJul 22, 2022 -
minidot Public
Forked from TiarkRompf/minidotDependent Object Types (DOT), bottom up
Coq UpdatedJan 9, 2022 -
all-in-one-favicon-generator Public
Generates all necessary favicons for your website.
Makefile GNU General Public License v3.0 UpdatedOct 17, 2021 -
rms-support-letter.github.io Public
Forked from rms-support-letter/rms-support-letter.github.ioAn open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
Ruby GNU General Public License v3.0 UpdatedMar 25, 2021