RFC tools for creating Internet Drafts using mmark and xml2rfc via Docker
☆11Feb 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for rfctools
Users that are interested in rfctools are comparing it to the libraries listed below
Sorting:
- ☆14Jan 3, 2023Updated 3 years ago
- Perl modules for the xPL Home Automation Protocol☆20Nov 12, 2016Updated 9 years ago
- Lets users add formatters to VSCode that run locally defined scripts.☆34Feb 12, 2026Updated 2 weeks ago
- A Google Chrome extension with the sole purpose of adding copy and paste functionality to Overleaf on your Chrome browser.☆17May 13, 2024Updated last year
- Most Starred Repo On Github --future☆19Jan 27, 2019Updated 7 years ago
- Repository with an octopus merge of 100k commits. Now that's a Cthullu merge! https://softwareengineering.stackexchange.com/a/377903/1246…☆36Dec 4, 2020Updated 5 years ago
- Apple TV screensaver for Linux☆12Apr 1, 2025Updated 11 months ago
- OpenMP offload playground☆10Nov 16, 2024Updated last year
- A PGN reviewer and publishing platform for the Kindle, allowing users to review annotated Chess games from their digital e-reader.☆23Apr 25, 2011Updated 14 years ago
- Cloyster HPC is a turnkey HPC cluster solution with an user-friendly installer☆10Oct 2, 2025Updated 5 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- 👋 Documentation, notes, drafts, and information.☆11Feb 27, 2019Updated 7 years ago
- ☆12Jan 12, 2024Updated 2 years ago
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- ☆11Sep 28, 2016Updated 9 years ago
- A shareable Renovate config for Cybozu☆11Feb 22, 2026Updated last week
- Like shasum but for blake2b☆13Nov 8, 2018Updated 7 years ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- React for Roblox-TS☆12Feb 16, 2024Updated 2 years ago
- ☆11Jul 4, 2022Updated 3 years ago
- 📦 PureScript package management with Nix☆11Aug 17, 2019Updated 6 years ago
- Tensorflow implementation of a 3D-CNN U-net with Grid Attention and DSV for pancreas segmentation trained on CT-82.☆11Dec 31, 2024Updated last year
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 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 7 months ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- Deploy a slash-create server to Vercel.☆11Jun 4, 2022Updated 3 years ago
- Template of molecule for LAMMPS☆12May 11, 2024Updated last year
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 3 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 5 months ago
- Racing on the Bluesky firehose.☆10Apr 23, 2025Updated 10 months ago
- Windows Store Installer for VS Code☆16Nov 23, 2024Updated last year
- This is the code for the talk I gave at FITC entitled Musical Machines and Flapping Phones.☆10May 14, 2014Updated 11 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- Zig Vala - Toolchain & Build System Integration☆15Jan 28, 2022Updated 4 years ago
- 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
- Organize test codes for all languages☆10Mar 23, 2025Updated 11 months ago
- This is where the low level programming with C PL will be going.☆11Mar 14, 2024Updated last year