redanaheim Goto Github PK

autofold

VSCode extension for autofolding code in certain spots.

bates_numbering

const-enum-tools

Type definitions for dealing with enums in an efficient way using macros

const-enum-tools-derive

Derive macros for const-enum-tools.

const-source-position

dbxcli

A command line client for Dropbox built using the Go SDK

electron-tas-ui

User interface for editing, compiling, and exporting hamhub7/nx-TAS scripts for use on the Switch.

home-manager

Manage a user environment using Nix [maintainer=@rycee]

linalg

fp linalg lib for hw and rote stuff like expressing a vector in another basis, etc

linalg_haskell

Haskell port of the linalg TypeScript library I was working on

nx

Userland homebrew library for Nintendo Switch written entirely in Rust

opensnitch

OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

redanaheim.github.io

My software and design portfolio

scratchthat

A Firefox extension that allows you to write filters to replace arbitrary text, including text loaded after initial load

sys-script

Controlling the Nintendo Switch with Lisp

tas-script

A modification of sys-script by Sorenbug to run on Lua and be more TAS focused

tiger-dyno

Discord bot that is functional and versatile. Currently in development.

trickjump-module

Module for trickjump server on TigerDyno

twitter_private_mode

Firefox extension for hiding your Twitter name and at

typedyno

Redone version of TigerDyno written in TypeScript which is set up to use Heroku Postgres, instead of Sqlite.

vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]