- Somewhere in the United Kingdom
Highlights
- Pro
-
hikari-lightbulb Public
Simple, elegant and powerful command handler for the Python Discord library, Hikari.
-
sqlc-asyncpg-compat Public
Compat layer for SQLC allowing direct use of asyncpg as the database engine instead of having to use sqlalchemy.
-
hikari-lightbulb-bot-template Public template
Template repository for a Python Discord bot using hikari-lightbulb V3
-
Plugin adding hikari-lightbulb support for IntelliJ platform IDEs
Java MIT License UpdatedNov 21, 2024 -
-
afp-index Public
Index and mirror of the Isabelle Archive of Formal Proofs allowing Proofman to distribute each package individually
UpdatedOct 18, 2024 -
-
protobuf-maven-plugin Public
Forked from ascopes/protobuf-maven-pluginA scratch-built and modern Maven plugin for seamless protoc integration, with support for GRPC and custom plugins.
Java Apache License 2.0 UpdatedAug 28, 2024 -
hikari Public
Forked from hikari-py/hikariA Discord API for Python and asyncio built on good intentions.
Python MIT License UpdatedAug 5, 2024 -
notcord Public
A discord-esque chat application pet project written using Java and next.js.
-
pysel Public
A simple but powerful embedded expression language for Python
-
-
lightbulb-ext-wtf Public archive
This is a joke project I just wanted to see how weird I could get with command declaration syntax for lightbulb
-
lightbulb-ext-filament Public
Various add-ons, extensions and utilities for hikari-lightbulb
-
weather_tide_monitor Public
AWS lambda function written in golang which fetches today's tide and weather information for Chiswick bridge
-
pycaching Public archive
Simple caching and memoisation library (name TBC)
-
missile-defense Public archive
Port of the missile defense game project I wrote for my A-Levels - previously on gitlab
-
hikari-miru Public
Forked from hypergonial/hikari-miruAn optional component handler for hikari, inspired by discord.py's views.
Python MIT License UpdatedSep 12, 2022 -
lightbulb-ext-polaris Public archive
Redis-backed message queue implementation that can hook into a discord bot written with hikari-lightbulb.
-
-
disjord Public archive
Discord API wrapper written in Java as a personal project
-
lightbulb-ext-neon Public
Forked from parafoxia/lightbulb-neonPython GNU General Public License v3.0 UpdatedJan 8, 2022 -
gtfo-randomiser Public archive
Simple website for randomising your GTFO team's loadout and stage selection. Create and issue or message me on discord (thomm.o#8637) with suggestions.
HTML UpdatedDec 12, 2021 -
DevilDonkey Public archive
Discord bot programmed for DevilDonkey#0069
-
mu0-assembler Public archive
Simple program to convert Mu0-ARM assembly language to hexadecimal machine code
Python UpdatedApr 1, 2021 -
cpp-linked-list Public archive
Simple class implementation of a singly linked list in C++
C++ UpdatedJan 23, 2021 -
shared_cbuff Public
An implementation of a circular buffer which makes use of SharedMemory in order to allow sharing of the data across multiple python instances.
-