Framework to smartly mirror git repositories
☆109Sep 5, 2024Updated last year
Alternatives and similar repositories for grokmirror
Users that are interested in grokmirror are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code/instructions for various slides/demos I've given☆12Oct 27, 2017Updated 8 years ago
- AM33xx kernel☆10Nov 22, 2011Updated 14 years ago
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- OCaml client library for the Tor control port [abandoned]☆10May 1, 2017Updated 9 years ago
- A devops configuration management tool that responds to events, with a chef-like dsl.☆14Mar 11, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Common Lisp library for manipulating date/time objects at a higher level☆35Aug 23, 2025Updated 10 months ago
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- Play with CRIU in vagrant, all automated.☆10Oct 11, 2015Updated 10 years ago
- code syntax highlighter written in golang (WIP)☆22Jan 26, 2015Updated 11 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Efficient endianness conversion for SBCL☆20Jun 8, 2024Updated 2 years ago
- YaST module bootloader☆19Jun 25, 2026Updated last week
- ☆10Oct 29, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Trivial Lua Binary Serialization Library☆41May 9, 2020Updated 6 years ago
- Kernel for SM-G901F (Samsung Galaxy S5 Plus)☆12Jul 25, 2016Updated 9 years ago
- Mirror repository, PRs are not watched, please use Xfce's GitLab☆16Jun 14, 2026Updated 3 weeks ago
- A tool for deploying and testing network routers in the cloud.☆10Sep 23, 2021Updated 4 years ago
- Directory of BLD patches.☆11Aug 19, 2018Updated 7 years ago
- A centralized totp solution based on google-authenticator☆128May 15, 2026Updated last month
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 6 years ago
- Resources for Code Cafe Online 4th May 2020☆11May 5, 2020Updated 6 years ago
- Linux kernel source tree for Sigma Designs SMP86xx☆15Dec 16, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fun with the TLS handshake☆31Jun 8, 2014Updated 12 years ago
- OCaml HTTP Microframework☆25May 9, 2020Updated 6 years ago
- Prometheus exporter for Juniper Junos devices using junos-pyez☆21Sep 15, 2021Updated 4 years ago
- ☆47Aug 8, 2022Updated 3 years ago
- Manual page availability across major Unix releases☆30Oct 25, 2022Updated 3 years ago
- Simple script to create and maintain Git mirrors☆37Apr 14, 2014Updated 12 years ago
- Command to show character (Unicode code point) frequency.☆22Dec 2, 2015Updated 10 years ago
- Projects and files from AddOhms Tutorials☆11Jul 6, 2018Updated 8 years ago
- Web application to faciliate benchmarking and testing SIP based services☆19Apr 19, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Good-enough Hex Editor/Annotator☆25May 3, 2020Updated 6 years ago
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆59Dec 24, 2021Updated 4 years ago
- Old UNIX V6 ed _lightly_ ported to modern systems☆20Mar 9, 2018Updated 8 years ago
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆11Oct 20, 2019Updated 6 years ago
- Yet another signify tool☆93Jun 21, 2024Updated 2 years ago
- VyOS inside a container.☆15Jul 28, 2019Updated 6 years ago
- Manage sets of developer services -- "playground control"☆32Apr 2, 2026Updated 3 months ago