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
shadowsocks/shadowsocks-rust
A Rust port of shadowsocks
Coloquinte/moosic-yosys-plugin
Yosys plugin for logic locking and supply-chain security
pulp-platform/cheshire-ihp130-o
SpinalHDL/SpinalHDL
Scala based HDL
schoeberl/chisel-book
Digital Design with Chisel
Titoutee/chipper
Chipper is a CHIP-8 interpreter simulating a barebone Von Neumann architecture. Play retro games with fun.
patzly/grocy-android
ERP beyond your fridge, now on your phone – An awesome companion app for grocy
ronilaukkarinen/mastodon-bird-ui
🐘🐦 Mastodon web UI, but strongly inspired by Twitter.
Titoutee/minigrep
The Book's minigrep
gabriel-doriath-dohler/Craft-your-IC
Very Reduced Instruction Set Computer Five
nix-community/naersk
Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.
nix-community/home-manager
Manage a user environment using Nix [maintainer=@rycee]
organicmaps/organicmaps
🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by MapsWithMe (MapsMe) founders and our community. No ads, no tracking, no data collection, no crapware. Please donate to support the development!
analogdevicesinc/hdl
HDL libraries and projects
pinpox/nixos
My NixOS Configurations
fsquillace/junest
The lightweight Arch Linux based distro that runs, without root privileges, on top of any other Linux distro.
divnix/digga
A flake utility library to craft shell-, home-, and hosts- environments.
vlaci/git-agecrypt
benide/reproducible-latex
Nix flake template for reproducible latex documents
diamondburned/dissent
Tiny native Discord app
adrianvillanueva997/Fail2ban-monitoring
Scripts to monitor SSH banned ips with fail2ban and display all the data in grafana
Alexays/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
dynup/kpatch
kpatch - live kernel patching
MatthewCroughan/nixcfg
My nix configuration(s), using flakes. It's my laptop, it's my servers, it's my everything, in code.
AGWA/git-crypt
Transparent file encryption in git
swaywm/sway
i3-compatible Wayland compositor
jo-m/trainbot
Watches a piece of train track, detects trains, and stitches together images of them.
javapathfinder/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
luyise/Knel2
Knel is a New Experimental Logic.
FiligranHQ/zotprime
Full packaged on-premise Zotero platform