Pinned Repositories
agda-devshell
Nix dev shell with agda and als.
cryptocurrency
dotfiles
My personal nixos flake
midi-mapper
map chords to chords
nix-lib
my small nix lib. for referencing in my small flakes
resolution-fgf
Bachelor thesis: Resolution for Forward Guarded Fragment
Symbolic-Differentiation
Python library for calculating formulas for derivatives.
wine-quality
few graphs, some predictions
zkml
zkml - compile a neural net to zk snark
zmrocze's Repositories
zmrocze/agda-devshell
Nix dev shell with agda and als.
zmrocze/dotfiles
My personal nixos flake
zmrocze/nix-lib
my small nix lib. for referencing in my small flakes
zmrocze/Symbolic-Differentiation
Python library for calculating formulas for derivatives.
zmrocze/wine-quality
few graphs, some predictions
zmrocze/agda-language-server
Language Server for Agda
zmrocze/agda-language-server.nix
Build als with nix
zmrocze/bsc-thesis
zmrocze/cryptocurrency
zmrocze/freer-extras
zmrocze/hercules-ci-effects
Expressions to change the world (just a tiny bit)
zmrocze/midi-mapper
map chords to chords
zmrocze/neural_network
simple neural network from scratch with numpy
zmrocze/plutip
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
zmrocze/resolution-fgf
Bachelor thesis: Resolution for Forward Guarded Fragment
zmrocze/zkml
zkml - compile a neural net to zk snark
zmrocze/infrec-reproduction
Infinite recursion error that doesn't happen if pkgs is defined without the use of the `modules/pkgs.nix` module
zmrocze/my-tidal-flake
zmrocze/purescript-tsd-gen
[Purescript-tsd-gen](https://github.com/minoki/purescript-tsd-gen) tool packages as a flake.
zmrocze/reproduce-haskell.nix-template-shell-doesnt-build
Shell with trivial unconstrained deps doesn't build with `haskell.nix`. The package builds.
zmrocze/resolution-gf
zmrocze/snet-upgradeable-owners
not fork
zmrocze/so-malloc
OS class memory management assignment
zmrocze/so-shell
zmrocze/tbop_course_solutions
uni cryptography + rust course - problem solutions
zmrocze/tidalcycles.nix
A Nix flake for Tidal Cycles.
zmrocze/WEB_SHOP
web shop in flask