Skip to content
View HavenSelph's full-sized avatar
🏠
Working from home
🏠
Working from home

Block or report HavenSelph

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
  • ruse Public

    Rust 1 Updated Sep 14, 2024
  • ariadne Public

    Forked from zesterer/ariadne

    A fancy diagnostics & error reporting crate

    Rust MIT License Updated Aug 13, 2024
  • NamelessBot Public

    TypeScript Updated Jun 30, 2024
  • Python Updated Jan 28, 2024
  • godot Public

    Forked from godotengine/godot

    Godot Engine – Multi-platform 2D and 3D game engine

    C++ MIT License Updated Dec 20, 2023
  • cobralang Public

    A simple interpreted language written in Python (I know, that's silly as hell).

    Python 2 Other Updated Dec 2, 2023
  • shard Public

    Forked from shard-org/sharc

    the Shard programming language

    Rust MIT License Updated Sep 30, 2023
  • An interpreted language written in Rust.

    Rust 14 2 GNU General Public License v3.0 Updated Aug 18, 2023
  • sphynx Public

    Programming language compiled down to C. Uses Python as the host language for the compiler.

    Python MIT License Updated Jun 11, 2023
  • Runtime code for the Rattlescript programming language I'm writing in Rust.

    C 2 2 Updated Jun 11, 2023
  • Experimentation for a 2D survival game I might make.

    GDScript 1 1 MIT License Updated May 9, 2023
  • aecor Public

    Forked from mustafaquraish/aecor

    Statically typed programming language transpiled to C

    Rust Updated May 7, 2023
  • Silly game written in Aecor

    Shell MIT License Updated May 7, 2023
  • The community bot for the Python Discord community

    Python MIT License Updated May 6, 2023
  • In-development API wrapper for https://www.battlemetrics.com

    Python MIT License Updated May 5, 2023
  • BlockScript Public

    A scripting language to dynamically generate blocks resource files, loot tables, and crafting recipes. Written in python.

    Python MIT License Updated Apr 12, 2023
  • tycoongame Public

    I'm beginning to learn about Godot game development as a hobby, this is my first game. It's nothing special, just a silly tycoon game.

    GDScript 1 Updated Apr 5, 2023
  • PyCommands Public

    PyCommands is a module intended for quick and high-level scripts that allows easy linking of commands and aliases to a function. Not only does it streamline the process of pairing words to a functi…

    Python 1 2 Other Updated Mar 11, 2023