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

Projects in Awesome Lists by mirryi

A curated list of projects in awesome lists by mirryi .

https://github.com/mirryi/beets-playlistc

A simple beets plugin for creating playlists.

beets playlist plugin

Last synced: 07 Apr 2025

https://github.com/mirryi/soth

A verified CTL model checker

Last synced: 07 Apr 2025

https://github.com/mirryi/resume

Resumé.

resume

Last synced: 07 Apr 2025

https://github.com/mirryi/bunt-logger

Convenience wrapper around bunt for leveled logging.

bunt logging

Last synced: 07 Apr 2025

https://github.com/mirryi/mustardfox.org

The digital homepage.

Last synced: 11 Mar 2025

https://github.com/mirryi/cchmod

chmod calculator.

chmod

Last synced: 07 Apr 2025

https://github.com/mirryi/regexws

Brief presentation/workshop to introduce regular expressions (stogacs).

Last synced: 21 Dec 2024

https://github.com/mirryi/jmdict-rust

A JMdict, Kanjidic2, and Tatoeba sentence file parser library

Last synced: 21 Dec 2024

https://github.com/mirryi/rmdocs

A presentation on writing documents with LaTeX, Pandoc, and Rmarkdown.

latex pandoc r rmarkdown

Last synced: 21 Dec 2024

https://github.com/mirryi/trsh

tr(a)sh shell so I could learn some basic C

Last synced: 21 Dec 2024

https://github.com/mirryi/kcfa

0-CFA and k-CFA implementation for small functional language.

Last synced: 21 Dec 2024

https://github.com/mirryi/jsws

Workshop/lecture on basic JavaScript (stogacs).

Last synced: 21 Dec 2024

https://github.com/mirryi/lwt-observable

Lwt-based reactive streams.

Last synced: 21 Dec 2024

https://github.com/mirryi/mold

Image transformation web demo project.

demo image-processing web workshop

Last synced: 21 Dec 2024

https://github.com/mirryi/hazelc-icfp22-poster

Poster of the hazelc project for the ICFP'22 student research competition.

Last synced: 21 Dec 2024

https://github.com/mirryi/hazelc-icfp22-slides

Slides of the hazelc project for the ICFP'22 student research competition

Last synced: 21 Dec 2024

https://github.com/mirryi/hangouts-rs

Google Hangouts Takeout parsing and processing library.

google-hangouts google-hangouts-json

Last synced: 21 Dec 2024

https://github.com/mirryi/wikichan

A WebExtension and userscript that displays information from Wikipedia and other sources in a popup for the hovered text.

addon dictionary greasemonkey popup userscript webextension wikipedia

Last synced: 21 Dec 2024

https://github.com/mirryi/sf

Following along with Software Foundations.

Last synced: 07 Apr 2025

https://github.com/mirryi/fetch

Rock-inspired query-based compiler architecture library.

Last synced: 21 Dec 2024

https://github.com/mirryi/debaggins

dune+js_of_ocaml source maps experiment.

Last synced: 21 Dec 2024

https://github.com/mirryi/isc

Independent study to learn about compilers and programming languages.

compilers

Last synced: 21 Dec 2024

https://github.com/mirryi/enum-fromstr

Simple procedural macro exercise to generate FromStr implementation and error for a basic enum

Last synced: 21 Dec 2024

https://github.com/mirryi/csp-projects

Assignments and projects for AP Computer Science Principles.

Last synced: 21 Dec 2024

https://github.com/mirryi/dotfiles

Dotfiles for my Linux machines.

alacritty dotfiles linux neovim tmux zsh

Last synced: 07 Apr 2025

https://github.com/mirryi/hermit

Static information flow control for Rust via dynamic epistemic logic.

Last synced: 07 Apr 2025

https://github.com/mirryi/mirryi

Hello

Last synced: 07 Apr 2025

https://github.com/mirryi/lobby-queue

Const-size queue.

queue rust

Last synced: 07 Apr 2025

https://github.com/mirryi/eecs499

Directed study in model checking.

Last synced: 07 Apr 2025

https://github.com/mirryi/regexp2

Toy regular expressions implementation using finite automata.

automata regex

Last synced: 07 Apr 2025

https://github.com/mirryi/mpdnd

MPD notification daemon.

mpd notifications

Last synced: 07 Apr 2025

https://github.com/mirryi/pillpacker

Last synced: 07 Apr 2025

https://github.com/mirryi/ebuilds

Personal Gentoo overlay with some useful ebuilds.

Last synced: 07 Apr 2025

https://github.com/mirryi/shelf

Dotfiles package manager, undergoing rewrite!

dotfiles dsl

Last synced: 07 Apr 2025

https://github.com/mirryi/neon-syntax.vim

NEON filetype support for Vim.

neon vim vim-plugin

Last synced: 07 Apr 2025

https://github.com/mirryi/mm

MHacks 14 project.

math mhacks music

Last synced: 07 Apr 2025

https://github.com/mirryi/beets-romanize

Beets plugin to transliterate hiragana, katakana, and kanji into romaji.

Last synced: 07 Apr 2025

https://github.com/mirryi/beets-utilfuncs

Beets plugin with some common template functions

Last synced: 07 Apr 2025

https://github.com/mirryi/forest-theme

Last synced: 07 Apr 2025

https://github.com/mirryi/error-localization-slides

POPL'24 talk slides.

Last synced: 07 Apr 2025

https://github.com/mirryi/hfe

Hazel constructs formally

Last synced: 07 Apr 2025

https://github.com/mirryi/cabal-foreign-library

Build and link a Cabal foreign-library to a Rust crate

cabal cargo ffi foreign-library ghc haskell

Last synced: 12 May 2025

https://github.com/mirryi/notes

Notes about technical nonsense.

Last synced: 20 Mar 2025

https://github.com/mirryi/csa-projects

Old AP Computer Science A projects

Last synced: 21 Dec 2024

https://github.com/mirryi/cs3110

CS 3110 exercises.

cs3110

Last synced: 21 Dec 2024

https://github.com/mirryi/sexplib.gr

Sexplib for Grain.

Last synced: 21 Dec 2024

https://github.com/mirryi/forest

The digital homepage.

Last synced: 07 Apr 2025

https://github.com/mirryi/safe-linear

Handout on safe memory management with linear types.

Last synced: 07 Apr 2025