Site and Resource topology data for the Open Science Grid
☆22Apr 14, 2026Updated this week
Alternatives and similar repositories for topology
Users that are interested in topology are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Docker files for various cms services and tasks☆18Mar 7, 2026Updated last month
- A site grid gatekeeper technology based solely on Condor components☆19Mar 19, 2026Updated 3 weeks ago
- Quantum hardware module and drivers for Qibo.☆56Apr 10, 2026Updated last week
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆16Jan 5, 2026Updated 3 months ago
- Repository for the paper "Learning to Pivot with Adversarial Networks"☆35Jun 12, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Browser support for Lean using a monaco editor.☆15Mar 18, 2026Updated last month
- NeurIPS 2020☆17Jun 18, 2021Updated 4 years ago
- ☆45Apr 9, 2026Updated last week
- ATLAS Run 2 and Run 3 analysis framework for AnalysisTop and AnalysisBase for proton-smashing physics☆43Mar 30, 2026Updated 2 weeks ago
- Grid Operations Configuration Management Database. A Repository, Portal and REST style API for managing Grid and Cloud topology objects i…☆12Mar 30, 2026Updated 2 weeks ago
- Security Cloud Assessment Tool☆11Jun 28, 2020Updated 5 years ago
- Visual-based analysis of file system metadata. The tool enables digital forensics of large volumes of data.☆11May 10, 2024Updated last year
- Chosen-Prefix Collision Attack Against SHA-1 Hash Function☆17Feb 17, 2020Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- GitHub action for standard CI in Lean projects☆32Apr 10, 2026Updated last week
- A tutorial for the for the Trilinos Software☆51Nov 12, 2015Updated 10 years ago
- linuxprivchecker.py -- a Linux Privilege Escalation Check Script☆18Jun 11, 2019Updated 6 years ago
- A Lean4 Formalization of Polynomial Functors☆27Dec 22, 2025Updated 3 months ago
- A service for mapping OIDC identities to local identities, with local user management☆12Apr 10, 2026Updated last week
- ansible-playbook + buildah = a sweet container image☆16Apr 24, 2023Updated 2 years ago
- Vagrant file and support to create FreeBSD vagrant boxes with a simple `vagrant up`☆11Jun 15, 2024Updated last year
- Plugin for LLM adding support for Google's PaLM 2 model☆14Oct 4, 2023Updated 2 years ago
- Two-Factor Email Provider for Nextcloud (future version, see state of the app).☆17Apr 11, 2026Updated last week
- 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.
- Simple online editor of math formulas based on LaTeX syntax. Contains table of popular equations and chars for easy work with it to help …☆10Sep 13, 2019Updated 6 years ago
- Demo repository showcasing how to use reusable workflows to build artifact attestations☆16Updated this week
- VSCode Extension for files-to-prompt☆15Feb 25, 2026Updated last month
- A collection of prompts for use with the LLM CLI tool☆17Jun 21, 2023Updated 2 years ago
- Formalization of the Millennium Problems in Lean 4☆47Jan 16, 2026Updated 3 months ago
- Sources to build EGI documentation site.☆14Apr 10, 2026Updated last week
- GPI-Space: Memory Driven Computing and Big Data☆10Mar 17, 2026Updated last month
- Your Army of GPT-4 Powered Coding Buddies (Boost Your Productivity)☆15Jul 4, 2023Updated 2 years ago
- A new repo to demonstrate tutorials for using HuggingFace on Graphcore IPUs.☆12May 3, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A benchmark of programming tasks for LLMs that supports almost any programming language.☆13Jun 30, 2025Updated 9 months ago
- Mini Model Daemon☆13Nov 9, 2024Updated last year
- Powershell script to automate finding privilege escalation vectors in windows environments.☆16Nov 30, 2019Updated 6 years ago
- Ext spell dictionary extension for coc-spell-checker☆23Apr 2, 2022Updated 4 years ago
- Docker version of openmptcprouter vps (alpha state)☆22Nov 20, 2018Updated 7 years ago
- ☆65Mar 13, 2026Updated last month
- Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons☆13Feb 13, 2023Updated 3 years ago