Lists (32)
Sort Name ascending (A-Z)
agda
ai
appStructure
awesomeLists
css
devOps
dotfiles
gameDev
github-actions
githubActions
haskell
haskellAuth
haskellGameDesign
idris
java
k8s
kafka
keycloak
learning
nixos
nvim
oauth
pathToDependentTypes
react
scala
scalaTracing
tryToMake
typelevel
typeLevelProgramming
typeScript
vulkan
zio
Stars
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)
π» A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
Streamlit β A faster way to build and share data apps.
Awesome list of open-source startup alternatives to well-known SaaS products π
Fully automated homelab from empty disk to running services with a single command.
The modern API client that lives in your terminal.
An interactive, terminal-based markdown presenter
A template for deploying a Talos Kubernetes cluster including Flux for GitOps
Proposed compiler and language changes for GHC and GHC/Haskell
Reaver: Modular Deep Reinforcement Learning Framework. Focused on StarCraft II. Supports Gym, Atari, and MuJoCo.
The fastest NixOS install there is! ποΈπ
State of the Art Magic: the Gathering Draft and DeckBuilder AI.
Sort-of human understandable client implementation of the Danish MitID protocol
A template for deploying a Talos Kubernetes cluster including Argo for GitOps