Skip to content
View spfaus's full-sized avatar
👋
👋

Block or report spfaus

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Roguelike game using Rust and the Bevy engine

Rust 177 15 Updated Jan 1, 2025

Open source recreation of Daggerfall in the Unity engine

C# 2,789 336 Updated Dec 23, 2024

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Coq 811 13 Updated Apr 1, 2024

rhythm is just a *click* away!

C# 15,704 2,323 Updated Jan 1, 2025

A habit tracker app which treats your goals like a Role Playing Game.

JavaScript 12,290 4,141 Updated Dec 30, 2024

Open source, cross-platform, user-mode tablet driver

C# 2,817 356 Updated Dec 29, 2024

DIGImend graphics tablet drivers for the Linux kernel

C 1,181 175 Updated Jul 26, 2024

Vim-fork focused on extensibility and usability

Vim Script 84,784 5,790 Updated Jan 1, 2025

Fork of the Kanji Grid addon for Anki

Python 29 15 Updated Nov 21, 2023

Shopware 6 is an open commerce platform based on Symfony Framework and Vue and supported by a worldwide community and more than 1.500 community extensions

PHP 2,885 1,041 Updated Dec 31, 2024

Shopware 5 core

PHP 1,319 803 Updated Dec 23, 2024

sensible.vim: Defaults everyone can agree on

Vim Script 5,162 279 Updated Jun 8, 2024