wchresta Goto Github PK

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

arithmoi

arithmoi is currently maintained here

basilisk

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

dukat

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

fastbinning

Non-uniform quantization with linear average-case computation time

flutter_plot

A pretty plotting package for Flutter apps

formal_methods_project

from-dict

Python library to construct data structures from dictionaries.

ginger

A Haskell implementation of the Jinja template language.

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

idris2-curl

Curl bindings for Idris 2

idris2.nix

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

j8080

An Intel 8080 emulator in Java

land2door

An open database on farmers, distributors & produce for a project to foster local food choices

linear-code

Haskell library for linear codes from coding theory

matrix

A Haskell native implementation of matrices and their operations.

matrix-static

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

nixos-surface-config

My Configuration of a Surface Pro 3

nixpkgs

Nix Packages collection

notifyourself

Mobile app to receive notifications from NotifYourselfCLI

notifyourselfcli

Send a notification to your mobile device