Pinned Repositories
cotary
Cotary allows you to prove that you have a document without releasing it.
csv-parser
Simple CSV parser in Idris2
dotfiles
Some of my dotfiles
from-dict
Python library to construct data structures from dictionaries.
idris2-curl
Curl bindings for Idris 2
idris2.nix
A scrappy nix derivation for Idris2, the successor to Idris.
linear-code
Haskell library for linear codes from coding theory
matrix-static
Wrapper around matrix that adds matrix sizes to the type-level
NotifYourselfCLI
Send a notification to your mobile device
software-development
Small documentations to help new software developers to establish good behaviours.
wchresta's Repositories
wchresta/dotfiles
Some of my dotfiles
wchresta/idris2.nix
A scrappy nix derivation for Idris2, the successor to Idris.
wchresta/matrix-static
Wrapper around matrix that adds matrix sizes to the type-level
wchresta/idris2-curl
Curl bindings for Idris 2
wchresta/csv-parser
Simple CSV parser in Idris2
wchresta/from-dict
Python library to construct data structures from dictionaries.
wchresta/software-development
Small documentations to help new software developers to establish good behaviours.
wchresta/cotary
Cotary allows you to prove that you have a document without releasing it.
wchresta/NotifYourselfCLI
Send a notification to your mobile device
wchresta/adt
Algebraic data types for Python
wchresta/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
wchresta/advent-of-code-22
wchresta/advent-of-code-23
wchresta/basilisk
wchresta/dukat
Converter of <any kind of declarations> to Kotlin external declarations
wchresta/fastbinning
Non-uniform quantization with linear average-case computation time
wchresta/home-manager
Manage a user environment using Nix
wchresta/i3
A fork of the i3 window manager with gaps and some other features
wchresta/idlez
A zombie idle game for Discord
wchresta/Idris2
A purely functional programming language with first class types
wchresta/j8080
An Intel 8080 emulator in Java
wchresta/nixpkgs
Nix Packages collection
wchresta/NotifYourself
Mobile app to receive notifications from NotifYourselfCLI
wchresta/pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
wchresta/python-smith-game
A Python library and infrastructure for a forging themed coding game with trading elements.
wchresta/rnix-parser
A Nix parser written in Rust [maintainer=@Ma27]
wchresta/rust-obs-plugins
A safe wrapper around the OBS API, useful for creating OBS sources, filters and effects.
wchresta/static-tensor
Tensors of statically known size
wchresta/usbserial
Flutter Android USB Serial plugin
wchresta/wchresta.github.io