Skip to content
View Quoteme's full-sized avatar
22 followers · 20 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report Quoteme

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

  • emoji-board Public

    Haskell 16 1 Updated Sep 21, 2024

  • nixos Public

    My nixos configuration

    Nix 3 Updated Sep 18, 2024

  • nvim Public

    My NeoVim configuration using lazyvim

    Lua Apache License 2.0 Updated Sep 18, 2024

  • mathimg Public

    Convert latex equations to SVG/PNG images

    Rust Updated Sep 16, 2024

  • nix-on-droid Public

    My setup for nix-on-droid

    Nix Updated Sep 9, 2024

  • lucapanel Public

    A simple panel for the xmonad-luca desktop experience

    Dart Updated Aug 15, 2024

  • xmonad-luca Public

    Luca's xmonad configuration 🚀

    Haskell Updated Aug 7, 2024

  • story Public

    Rework of WEBGLCS written more modular and all in all more sleek

    JavaScript 1 Updated Jul 28, 2024

  • virtual-keyboard Public

    Some experiments to create a virtual on-screen keyboard for Wayland using Python

    Python 1 Updated Jul 16, 2024

  • skriptfetcher Public

    A simple program to fetch the newest Modelltheorie skripts from Prof. Dr. Immanuel Halupczok's website

    Lean Updated Jul 4, 2024

  • modelltheorie2lean Public

    My notes for the module "model theory" in SoSe 2024 in lean4

    Lean Updated Jul 3, 2024

  • Quoteme Public

    Updated Jun 25, 2024

  • bookmarks-persistence.yazi Public

    A Yazi plugin that Supports persistent bookmark management.No bookmarks are lost after you close yazi.

    Lua MIT License Updated Jun 23, 2024

  • fplotpp Public

    fplotpp (FunctionPlot++) is a complex function plotter using THREE.js and is available online and as an android app!

    JavaScript Updated Jun 19, 2024

  • mathcraft Public

    Minecraft written in Lean4

    Lean 2 1 Updated Jun 11, 2024

  • corsano-realm-converter Public

    Konvertiere die .realm Dateien, welche wir von Corsano bekommen in JSON um

    JavaScript Updated Jun 3, 2024

  • Koi Public

    Forked from baduhai/Koi

    Koi - Theme scheduling for the KDE Plasma Desktop (with custom bash script execution support)

    C++ GNU Lesser General Public License v3.0 Updated Mar 18, 2024

  • leandate Public

    Leandate - A date and time library for Lean4

    lean4
    Lean 3 1 Updated Mar 18, 2024

  • quoteme.github.io Public

    My github pages website

    JavaScript 1 Updated Mar 11, 2024

  • top2manWebsiteBackground Public

    Animated backround for my website using top2man (visualization software foa ll topological 2 manifolds)

    website topology animation mathematics background
    JavaScript 1 Updated Feb 4, 2024

  • whisper-input Public

    Use openai whisper to transcribe your voice into written text completely locally in one command

    Python 2 Updated Dec 7, 2023

  • control_center Public

    A flutter application to control stuff like brightness, volume, system profile and more

    Dart Updated Nov 18, 2023

  • flutter_background_service_methodchannel Public

    In this repository I present a minimal reproducible example of flutter_background_service being unable to call a function through a methodchanenl

    C++ Updated Nov 17, 2023

  • simple-Lean4-nix-flake Public

    A simple Lean >4.2.0 project using only nix-flakes

    Nix Updated Nov 12, 2023

  • std4 Public

    Forked from leanprover-community/batteries

    Standard Library for Lean 4

    Lean Apache License 2.0 Updated Nov 11, 2023

  • Surreale-Zahlen Public

    Ein Seminarvortrag über die surrealen Zahlen

    Nix Updated Nov 5, 2023

  • lean-surreal-numbers Public

    Forked from oersted/lean-surreal-numbers

    A formalization in Lean of the maths from the books: "Mantova, Matusinski: Surreal Numbers with Derivation", "Conway: On Numbers and Games", "Gonshor: An introduction to the theory of surreal numbers"

    Lean Updated Oct 28, 2023

  • nixos-godot-bin Public

    Forked from sgillespie/nixos-godot-bin

    An overlay for Godot

    Nix 6 3 MIT License Updated Oct 10, 2023

  • maliit.github.io Public

    Forked from maliit/maliit.github.io

    fix some website errors

    SCSS MIT License Updated Jul 29, 2023

  • topologie-vortrag-lean Public

    ein Vortrag über die Sphäre, und warum diese einfach-zusammenhängend ist

    Lean Updated Jul 17, 2023