Projects in Awesome Lists by wchresta
A curated list of projects in awesome lists by wchresta .
https://github.com/wchresta/linear-code
Haskell library for linear codes from coding theory
algebra coding-theory linear-codes math mathematics
Last synced: 14 Apr 2025
https://github.com/wchresta/matrix-static
Wrapper around matrix that adds matrix sizes to the type-level
Last synced: 14 Apr 2025
https://github.com/wchresta/idris2.nix
A scrappy nix derivation for Idris2, the successor to Idris.
Last synced: 04 Dec 2024
https://github.com/wchresta/software-development
Small documentations to help new software developers to establish good behaviours.
Last synced: 26 Mar 2025
https://github.com/wchresta/from-dict
Python library to construct data structures from dictionaries.
dict dictionaries json-schema python python3 python310 python37 python38 python39 typing
Last synced: 14 Apr 2025
https://github.com/wchresta/notifyourselfcli
Send a notification to your mobile device
Last synced: 26 Mar 2025
https://github.com/wchresta/cotary
Cotary allows you to prove that you have a document without releasing it.
cli cryptography proof simple twitter utils
Last synced: 26 Mar 2025
https://github.com/wchresta/tamarin.vim
Syntax highlighting for tamarin-prover
Last synced: 26 Mar 2025
https://github.com/wchresta/nixos-surface-config
My Configuration of a Surface Pro 3
Last synced: 26 Mar 2025
https://github.com/wchresta/fastbinning
Non-uniform quantization with linear average-case computation time
Last synced: 26 Mar 2025
https://github.com/wchresta/notifyourself
Mobile app to receive notifications from NotifYourselfCLI
Last synced: 26 Mar 2025
https://github.com/wchresta/permonad
An indexed monad used to track permissions on aggregated data on the type level.
Last synced: 26 Mar 2025
https://github.com/wchresta/python-smith-game
A Python library and infrastructure for a forging themed coding game with trading elements.
Last synced: 26 Mar 2025