Pinned Repositories
advent-of-code-2020
advent-of-code-2021
brick
A declarative Unix terminal UI programming library written in Haskell
codeql-experiment
daml-capstone-univ
Daml training capstone project
diary-viewer
vim-tla
Vim filetype for the TLA+ specification language and proofs
xob
A lightweight overlay volume (or anything) bar for the X Window System.
youbrick
Terminal feed aggregator and launcher for Youtube channels
cooked-validators
florentc's Repositories
florentc/xob
A lightweight overlay volume (or anything) bar for the X Window System.
florentc/vim-tla
Vim filetype for the TLA+ specification language and proofs
florentc/youbrick
Terminal feed aggregator and launcher for Youtube channels
florentc/diary-viewer
florentc/advent-of-code-2020
florentc/advent-of-code-2021
florentc/brick
A declarative Unix terminal UI programming library written in Haskell
florentc/codeql-experiment
florentc/daml-capstone-univ
Daml training capstone project
florentc/exercise-publish-package
florentc/exercise-use-secrets
florentc/nixpkgs
Nix Packages collection
florentc/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
florentc/vim-pdfpc-syntax
Syntax for pdfpc files
florentc/exercise-configure-codeql-language-matrix
florentc/exercise-reference-a-codeql-query
florentc/nvim-web-devicons
lua `fork` of vim-web-devicons for neovim
florentc/plutus-apps
The Plutus application platform
florentc/skills-change-commit-history
My copy of the skills course on changing commit history
florentc/skills-deploy-to-azure
My clone repository
florentc/skills-hello-github-actions
My clone repository
florentc/skills-introduction-to-codeql
GitHub Skills: Introduction to CodeQL
florentc/skills-introduction-to-secret-scanning
GitHub Skills: Introduction to Secret Scanning
florentc/skills-secure-repository-supply-chain
florentc/skills-test-with-actions
My clone repository
florentc/skills-write-javascript-actions
My clone repository
florentc/xpad
Linux Kernel Driver for the Xbox/ Xbox 360/ Xbox One Controllers