An open API service indexing awesome lists of open source software.

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/dotfiles

Some of my dotfiles

Last synced: 14 Apr 2025

https://github.com/wchresta/idris2-curl

Curl bindings for Idris 2

Last synced: 26 Mar 2025

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/csv-parser

Simple CSV parser in Idris2

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/warduino

Experiments with haskino

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/basilisk

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/idlez

A zombie idle game for Discord

Last synced: 26 Mar 2025

https://github.com/wchresta/j8080

An Intel 8080 emulator in Java

Last synced: 26 Mar 2025

https://github.com/wchresta/advent-of-code-21

Better late than never

Last synced: 20 Feb 2025

https://github.com/wchresta/mlemmlem

mlemmlem

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