thesola10 Goto Github PK

followers: 26.0 following: 35.0 repos: 52.0 gists: 17.0

Name: Karim Vergnes

Type: User

Company: freelance

Bio: raised by cd-roms

Twitter: itsthesola10

Location: Bordeaux, FR

Blog: https://thesola.io

About me

I dabble in OSdev, language design and functional programming.

Languages I use

C
Python
Java (mainly Android)

Languages I love

Languages I loathe (but still know how to use)

Javascript
Anything to do with .NET

Extras

My public key fingerprint

pub   rsa4096 2019-01-07 [SC]
      1D0513A61AC40D8DC6D65F2C89245619BEBB95BA
uid           [ultimate] Karim Vergnes (TheSola10) <[email protected]>

My editor: Neovim (nvim)

My distros: Arch and NixOS

My profile pic: Artwork by まりまりも, with a bit of corruption

Karim Vergnes's Projects

aasdk

Library to build AndroidAuto headunit emulator (Nix flake version)

adventofcode2020

My Advent of Code 2020 exercises in Haskell

autoblih

Simple blih command line automation tool for EPITECH

crumbs

A command line bookmarking system for sh like consoles

An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that found in KDE Plasma and Windows 7+. A separate dock is no longer needed for easy access to running and favorited applications.

discochat

A client for Discord via Nintendo DS PictoChat

dracut-swap-tpm2

flappyteapot

HTTP 418 error page on my website

flathub

Personal fork for app PR

gnome-shell-mobile-data-status

Adds network type label to the mobile data icon in the System panel

gnome-shell-overview-flick

Flick from the right side of the screen to summon Overview

gtk4-writepadwidget

A Gtk4 widget designed around the WritePad handwriting recognition API

h264bitstream

A complete set of functions to read and write H.264 video bitstreams, in particular to examine or modify headers. (Nix flake version)

ipu6-drivers

jeopardy

(in)elegant weapons, for a more civilized age.

media-controls

A media indicator for the Gnome shell.

nanomsg

nanomsg library

nextcloud-nextframe

Nextframe, embeddable Nextcloud UI

nix-evm

generate and dump EVM signatures for Nix paths

nix-honukai-zsh

Honukai theme and colors for Oh My ZSH adapted for Nix Shell

nixified-flask-app

A simple Flask app with a NixOS uWSGI module built-in

nixos-with-cucumber

NixOS machine config template with Cucumber tests and shortcuts to toplevel derivation

nixpkgs

Nix Packages collection

onlyoffice-nextcloud

The app which enables the users to edit office documents from Nextcloud using ONLYOFFICE Document Server, allows multiple users to collaborate in real time and to save back those changes to Nextcloud

openauto

AndroidAuto headunit emulator (Nix flake version)