Skip to content
View DenSinH's full-sized avatar
🤔
🤔
57 followers · 49 following
  • Netherlands

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report DenSinH

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

  • master-chef-recipes Public

    Automatically generated recipes

    Updated Sep 27, 2024

  • master-chef Public

    Python Updated Sep 18, 2024

  • gphotos-compressor Public

    A script to compress and reupload large videos to Google Photos

    Python Updated Jul 14, 2024

  • vps-setup Public

    Setup instructions for my VPS

    Python Updated Jul 11, 2024

  • minio-setup Public

    Minio docker-compose setup for my VPS

    Updated Jul 6, 2024

  • whisperx-diarization Public

    Diarization with whisperx with caching and a simple interface

    Python Updated Jun 21, 2024

  • whisper-diarization Public

    Forked from MahmoudAshraf97/whisper-diarization

    Automatic Speech Recognition with Speaker Diarization based on OpenAI Whisper

    Python BSD 2-Clause "Simplified" License Updated May 30, 2024

  • Epicalyx Public

    A toy C compiler

    C 13 Updated May 27, 2024

  • DenSinH Public

    GitHub Pages Repo

    HTML Updated May 16, 2024

  • subset_sum Public

    Forked from europeanplaice/subset_sum

    Solves subset sum problem and returns a set of decomposed integers.

    Rust MIT License Updated May 3, 2024

  • gba-audio-extractor Public

    Writing a program to extract audio from GBA ROMs

    C 13 Updated Mar 26, 2024

  • unimath-asoa-html Public

    coqdoc generated HTML for the dependent files of the ModelCategories package I contributed to UniMath

    HTML Updated Mar 7, 2024

  • UniMath Public

    Forked from UniMath/UniMath

    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

    Coq Other Updated Mar 7, 2024

  • natural-numbers-game Public

    A version of the natural numbers game in Coq

    coq coq-formalization natural-number-game
    Coq 1 Updated Mar 7, 2024

  • unimath-small-obj-arg Public

    A UniMath formalization of Richard Garner's refinement of Quillen's small object argument

    Coq 1 Updated Mar 5, 2024

  • docker-wordpress Public

    Docker setup for a wordpress website

    Updated Mar 1, 2024

  • sanic-rate-limiter Public

    Attempt at writing a rate limiter for Sanic apps, based on the FastAPI package

    Python Updated Feb 2, 2024

  • VivitarMiniCamExport Public

    Small repository to explain / automatically export photos from a Vivitar Mini Camera

    Python 1 Updated Aug 11, 2023

  • pret-port Public

    Trying to port decompiled pokemon games (starting with pokemon ruby)

    C Updated Mar 11, 2023

  • pokeruby-altered Public

    Forked from pret/pokeruby

    Alteration of the decompilation of Pokémon Ruby/Sapphire to allow for a port

    C 1 Updated Feb 18, 2023

  • pmd-red Public

    Forked from pret/pmd-red

    Decompilation of Pokémon Mystery Dungeon: Red Rescue Team

    Assembly Updated Feb 2, 2023

  • SkyEmu Public

    Forked from skylersaleh/SkyEmu

    Game Boy, Game Boy Color, and Game Boy Advance Emulator

    C MIT License Updated Jan 31, 2023

  • pymakeparser Public

    Forked from mozilla/pymake

    Fixed up mozilla/pymake slightly to try and parse Makefiles

    Python MIT License Updated Jan 24, 2023

  • NESC- Public

    Changed to C# for NES emulator

    C# 3 MIT License Updated Dec 8, 2022

  • FuzzARM Public

    A random basic test ROM generator for the GBA

    Assembly 42 2 GNU General Public License v3.0 Updated Jun 14, 2022

  • Miller Public

    A mill guessing game for my grandpa

    C 3 Updated Jun 9, 2022

  • json Public

    A simple JSON loader / dumper

    C 6 MIT License Updated Feb 23, 2022

  • Simplex Public

    A visualization for simplices in low dimensions

    C 2 Updated Jan 25, 2022

  • GBARoms Public

    One central repo for my small GBA assembly projects

    Assembly 9 1 Updated Dec 31, 2021

  • AOC2021 Public

    My solutions for Advent Of Code 2021

    Python Updated Dec 25, 2021