Karol Ochman-Milarski

agda-language-server.nix. Build als with nix

agda-devshell. Nix dev shell with agda and als.

dotfiles. My NixOS system configuration

nix-lib. my small nix lib. for referencing in my small flakes

Symbolic-Differentiation. Python library for calculating formulas for derivatives.

wine-quality. few graphs, some predictions

claro. Claro - a personalized AI companion