Sup3Legacy
Computer science, Esperanto and aviation enthusiast. Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages
École Normale Supérieure, Paris.Paris
Sup3Legacy's Stars
schollz/croc
Easily and securely send things from one computer to another :crocodile: :package:
atuinsh/atuin
✨ Magical shell history
NixOS/nix
Nix, the purely functional package manager
mit-pdos/xv6-public
xv6 OS
electerious/Lychee
A great looking and easy-to-use photo-management-system you can run on your server, to manage and share photos.
freedomofpress/dangerzone
Take potentially dangerous PDFs, office documents, or images and convert them to safe PDFs
x-motemen/ghq
Remote repository management made easy
pimutils/khal
:calendar: CLI calendar application
mollyim/mollyim-android
Enhanced and security-focused fork of Signal.
zhaofengli/colmena
A simple, stateless NixOS deployment tool
Haidra-Org/AI-Horde
A crowdsourced distributed cluster for AI art and text generation
Ragnt/AngryOxide
802.11 Attack Tool
kamadorueda/alejandra
The Uncompromising Nix Code Formatter
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
OpenLightingProject/ola
The Open Lighting Architecture - The Travel Adaptor for the Lighting Industry
zulip/zulip-terminal
Official Zulip terminal client.
MatthewCroughan/NixThePlanet
Run macOS, Windows and more via a single Nix command, or simple nixosModules
RasmusLindroth/tut
TUI for Mastodon with vim inspired keys
shawnlawson/The_Force
webGL live coding performance IDE
badele/nix-homelab
Homelab and dotfiles made with NixOS
andir/npins
Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.
Harkunwar/attractive-typst-resume
Attractive Typst Resume Template
nikita-skobov/monorepo-git-tools
A collection of custom git commands that I use to maintain my monorepo. Includes support for bidirecional sync between a monorepo, and multiple subprojects
TomasHubelbauer/akai-apc-mini
Akai APCmini launchpad USB/MIDI communication protocol
solsarratea/catgpt
TinyTapeout/tt05-submission-template
Submission template for Tiny Tapeout 05
Secretowo/apc-mini-py
Control an AKAI Professional APC mini using python
JulienMalka/cal.com
Scheduling infrastructure for absolutely everyone.
Vanille-N/mpri2-edt
Timetable library (instanciated for the MPRI Level 2 classes)
sinavir/sinavir