wagdav / thewagner.netView external linksLinks
The source code of my blog
☆20Feb 1, 2026Updated 2 weeks ago
Alternatives and similar repositories for thewagner.net
Users that are interested in thewagner.net are comparing it to the libraries listed below
Sorting:
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- RCON package that deals with some Factorio-specific behaviors☆15May 7, 2021Updated 4 years ago
- Landing page for Software for Open Networking in the Cloud (SONiC) - http://azure.github.io/SONiC/☆11Jun 11, 2024Updated last year
- ☆25Jul 15, 2022Updated 3 years ago
- ☆13Dec 7, 2025Updated 2 months ago
- ☆23Jul 6, 2024Updated last year
- A library for writing Docker Compose files in Dhall.☆27Aug 3, 2024Updated last year
- My personal Nix infrastructure.☆19Jan 8, 2023Updated 3 years ago
- ☆31Nov 2, 2020Updated 5 years ago
- Package: Interactive Presentation Ninja☆10Jun 7, 2024Updated last year
- Tutorial on how to create a twitter bot that replied to mentions☆10Sep 16, 2023Updated 2 years ago
- Basic scripts for Moodle integration with nbgrader (configured for UoG)☆11Nov 1, 2019Updated 6 years ago
- Instant OpenHIE - see docs here:☆18Oct 31, 2023Updated 2 years ago
- ☆11Jan 3, 2021Updated 5 years ago
- Template demonstrating how a manager may use Silver Bullet☆13Jul 7, 2023Updated 2 years ago
- A React component for Rendering JSX☆48Jun 20, 2022Updated 3 years ago
- The Dhall Configuration Language Manual☆46Jul 13, 2020Updated 5 years ago
- Bundled installer for various Vamp plugins with redistributable licences, built and packaged for Windows, Mac, and Linux☆11Jul 31, 2024Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 6 months ago
- Templates for Nix flakes☆11Jan 20, 2024Updated 2 years ago
- Catherine's Opinionated Unofficial Patches for fgsfdsfgs/perfect_dark, plus mods.☆14Sep 28, 2025Updated 4 months ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Basic Unicode support for Lean 4☆15Updated this week
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 2 years ago
- Read and Write EDIFact based on JSON Schema's☆11Sep 10, 2020Updated 5 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- Quake 2 Vortex. vrxcl/revival.☆15Feb 7, 2026Updated last week
- ☆10Aug 20, 2024Updated last year
- ☆11Apr 19, 2019Updated 6 years ago
- ☆11Nov 17, 2025Updated 2 months ago
- A wireshark dissector for the Minecraft protocol☆11Feb 16, 2011Updated 14 years ago
- ⏺ EPGStationからLINE Notifyを使用して通知を送るコマンドラインツール☆10Apr 20, 2022Updated 3 years ago
- An archive of every club leader update.☆14Jul 22, 2025Updated 6 months ago
- Live previews of :norm and :global commands for Neovim.☆11Nov 5, 2021Updated 4 years ago
- ☆11Dec 16, 2021Updated 4 years ago
- A shareable Renovate config for Cybozu☆11Updated this week
- This is a high performance stub server.☆14Sep 3, 2024Updated last year
- The best way for Hack Club members to ship their projects to Slack!☆12Jan 6, 2023Updated 3 years ago