seirl
CS PhD / Software Engineer @Google. Former PhD Student at @SoftwareHeritage. Organizer of @prologin.
GoogleZürich
Pinned Repositories
camisole
sadm
Documentation, configs, scripts and services used for the finals of the Prologin contest
stechec2
Client-server AI match maker used for the French national programming contest Prologin
AdiBags_TSM
A filter for AdiBags that allows you to sort your items according to your TSM groups.
epiquote
bash.org-like website in django
m68hc11
A m68hc11 assembler in C
ouiche
Ouiche is a fast spell checker in C++ with a Radix Tree and a dynamic Damerau-Levenshtein table
seirl-nixos
NixOS configuration for the machines I manage
tsmapplication_public
A fork of tradeskillmaster with fixes to build on linux + an extractor to decompile the private tokens from the compiled app
vim-jinja-languages
Vim plugin to add Jinja2 template syntax to a number of programming languages
seirl's Repositories
seirl/epiquote
bash.org-like website in django
seirl/vim-jinja-languages
Vim plugin to add Jinja2 template syntax to a number of programming languages
seirl/seirl-nixos
NixOS configuration for the machines I manage
seirl/thesis
Repository of my PhD Thesis: Organizing the graph of public software development for large-scale mining
seirl/instawow-tsm
Instawow plugin for TradeSkillMaster
seirl/42sh
42sh is a shell which tries (hard) to be a clone of bash --posix.
seirl/AdiBags_Lowlevel
Low ilevel filter for AdiBags.
seirl/aiohttp-rpc
A simple JSON-RPC for aiohttp
seirl/camisole
Secure online judge for CS teachers, programming websites and contests.
seirl/cel-go
Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)
seirl/crowdbar
An embeddable crowdfunding progress bar for OBS streams
seirl/curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET and TFTP. libcurl offers a myriad of powerful features
seirl/dgmaxx
seirl/disko
Format disks with nix-config [maintainer=@Lassulus]
seirl/dsiutils
The DSI Utilities are a mishmash of classes accumulated during the last twenty years in projects developed at the DSI (Dipartimento di Scienze dell'Informazione, i.e., Information Sciences Department), now DI (Dipartimento di Informatica, i.e., Informatics Department), of the Università degli Studi di Milano.
seirl/instawow
A CLI for managing World of Warcraft add-ons.
seirl/instawow-townlong-yak-plugin
An instawow plug-in for Townlong Yak
seirl/iorgen
Iorgen is a multi languages code generator to parse a predefined input template
seirl/nixpkgs
Nix Packages collection
seirl/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
seirl/prologin-sadm
Documentation, configs, scripts and services used for the finals of the Prologin contest.
seirl/prologin-site
Source code of the Prologin website
seirl/publibike-locator
A simple JavaScript page to locate bikes at close-by publibike.ch stations in Switzerland
seirl/seirl-sadm
Ansible deployment scripts for seirl's "infrastructure".
seirl/SimpleArmory
World of Warcraft armory site that presents your armory in a simple manor.
seirl/site-antoinepietri
My personal website
seirl/stechec2
Client-server AI match maker used for the French national programming contest Prologin.
seirl/swh-graph-structure
Results and replication package for the article: The Graph Structure of Public Software Development
seirl/webgraph
WebGraph is a framework for graph compression.
seirl/webgraph-big
WebGraph is a framework for graph compression.