Pinned Repositories
amiamitcoe
Math & Lean
coding-exercises
All the coding exercises I did
dmenu
My dmenu build
dotfiles
Config files
dtcli
DTC, NSF, QDB fetcher for the terminal
dwm
My dwm build
esic
Esoteric Language Interpreter Compiler
muhsic
Make "music" wth Haskell
st
My st build
zamonia
A CLI personal library database written in haskell
Luc-Saccoccio's Repositories
Luc-Saccoccio/coding-exercises
All the coding exercises I did
Luc-Saccoccio/dtcli
DTC, NSF, QDB fetcher for the terminal
Luc-Saccoccio/muhsic
Make "music" wth Haskell
Luc-Saccoccio/zamonia
A CLI personal library database written in haskell
Luc-Saccoccio/amiamitcoe
Math & Lean
Luc-Saccoccio/chip-8
A small Chip-8 emulator in C and SDL written to pass time
Luc-Saccoccio/cmdtree
Tree-like command launcher
Luc-Saccoccio/dmenu
My dmenu build
Luc-Saccoccio/dotfiles
Config files
Luc-Saccoccio/dwm
My dwm build
Luc-Saccoccio/esic
Esoteric Language Interpreter Compiler
Luc-Saccoccio/st
My st build
Luc-Saccoccio/bourbaki
Implementation in Lean4 of Bourbaki's "Éléments de mathématiques"
Luc-Saccoccio/dwmblocks
My dwmblocks build
Luc-Saccoccio/LU3MA201-topology
Luc-Saccoccio/Luc-Saccoccio.github.io
Luc-Saccoccio/parser-combinators
Lightweight package providing commonly useful parser combinators
Luc-Saccoccio/spaceduck.nvim
🚀 🦆 An intergalactic space theme for Vim, Terminal, and more!
Luc-Saccoccio/tabbed
My tabbed build.
Luc-Saccoccio/ulambdac
Untyped Lambda Calculus REPL
Luc-Saccoccio/void-packages
The Void source packages collection
Luc-Saccoccio/xmonad-contrib
Contributed modules for xmonad