wchresta

dotfiles

Some of my dotfiles

idris2.nix

A scrappy nix derivation for Idris2, the successor to Idris.

matrix-static

Wrapper around matrix that adds matrix sizes to the type-level

idris2-curl

Curl bindings for Idris 2

csv-parser

Simple CSV parser in Idris2

from-dict

Python library to construct data structures from dictionaries.

software-development

Small documentations to help new software developers to establish good behaviours.

cotary

Cotary allows you to prove that you have a document without releasing it.

NotifYourselfCLI

Send a notification to your mobile device

adt

Algebraic data types for Python

Adv360-Pro-ZMK

Production repository for the all-new Advantage360 Professional using ZMK engine

advent-of-code-22

advent-of-code-23

basilisk

dukat

Converter of <any kind of declarations> to Kotlin external declarations

fastbinning

Non-uniform quantization with linear average-case computation time

home-manager

Manage a user environment using Nix

i3

A fork of the i3 window manager with gaps and some other features

idlez

A zombie idle game for Discord

Idris2

A purely functional programming language with first class types

j8080

An Intel 8080 emulator in Java

nixpkgs

Nix Packages collection

NotifYourself

Mobile app to receive notifications from NotifYourselfCLI

pyt

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

python-smith-game

A Python library and infrastructure for a forging themed coding game with trading elements.

rnix-parser

A Nix parser written in Rust [maintainer=@Ma27]

rust-obs-plugins

A safe wrapper around the OBS API, useful for creating OBS sources, filters and effects.

static-tensor

Tensors of statically known size

usbserial

Flutter Android USB Serial plugin

wchresta.github.io