Popular repositories Loading

1. assemblydiscordbots assemblydiscordbots Public

   Simple discord bot examples made in different assembly languages

   Assembly 2

2. discord-active-dev-badge discord-active-dev-badge Public

   Simple discord bot written in AArch64 assembly to redeem the active developer badge

   Assembly 1

3. GeoIP2-php GeoIP2-php Public

   Forked from maxmind/GeoIP2-php

   PHP API for GeoIP2 webservice client and database reader

   PHP

4. aoc2024-functional aoc2024-functional Public

   My solutions to advent of code in Haskell, Lean4 and Agda 2.

   Lean