PluralKit integration for BetterDiscord

SimplyPlural -> PluralKit Connectivity.

An embeddable flow-oriented language.

A language for writing recursive functions

Agda is a dependently typed programming language / interactive theorem prover.

An extensible linter for OCaml programs.

A new implementation of Powerline for Emacs

My Emacs Configuration

Run unpatched binaries on Nix/NixOS

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

A collection of core libraries for Racket

A high-level HTTP client for Racket.

A domain coloring tool for complex analysis

Create GNOME Shell extensions in seconds

A modern commutative diagram editor for the web.

A generic sequence library for Racket.

A zipper library for Racket

Moved to sdk-seven | From-scratch library for GBA homebrew development

🎄 Advent of Code command-line interface.

Python wrapper for the Mastodon ( https://github.com/mastodon/mastodon/ ) API.

Abstracting Definitional Interpreters

A discord bot that can manage a queue of users.

A prototype of soft contract verification for an untyped functional language

A desktop environment for the reMarkable tablet

sync zotero collections to a remarkable tablet

A column-oriented, dataframe implementation for Racket.

Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.

A modern re-imagining of the data frame

Your Access To Data

Data science tooling for Racket