Karol Ochman-Milarski's repositories
Symbolic-Differentiation
Python library for calculating formulas for derivatives.
wine-quality
few graphs, some predictions
Language:TeX000
cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
Language:PureScriptMIT000
Language:Haskell000
Language:HaskellApache-2.0000
hercules-ci-effects
Expressions to change the world (just a tiny bit)
Language:NixApache-2.0000
neural_network
simple neural network from scratch with numpy
Language:Python000
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.
Language:HaskellApache-2.0000
resolution-fgf
Bachelor thesis: Resolution for Forward Guarded Fragment
000
nix-lib
my small nix lib. for referencing in my small flakes
Language:Nix000
purescript-tsd-gen
[Purescript-tsd-gen](https://github.com/minoki/purescript-tsd-gen) tool packages as a flake.
Language:Nix000
Language:Scala000
so-malloc
OS class memory management assignment
Language:C000
Language:C000
WEB_SHOP
web shop in flask
Language:HTML000