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 185 15 Updated Jan 1, 2025

Open source recreation of Daggerfall in the Unity engine

C# 2,809 338 Updated Jan 4, 2025

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,788 2,340 Updated Jan 19, 2025

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

JavaScript 12,386 4,152 Updated Jan 16, 2025

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

C# 2,843 362 Updated Jan 19, 2025

DIGImend graphics tablet drivers for the Linux kernel

C 1,182 175 Updated Jan 2, 2025

Vim-fork focused on extensibility and usability

Vim Script 85,397 5,821 Updated Jan 19, 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,908 1,043 Updated Jan 18, 2025

Shopware 5 core

PHP 1,319 803 Updated Jan 13, 2025

sensible.vim: Defaults everyone can agree on

Vim Script 5,171 279 Updated Jun 8, 2024