The Overture Tool
☆53Nov 26, 2025Updated 7 months ago
Alternatives and similar repositories for overture
Users that are interested in overture are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Android calendar <-> org mode☆14Apr 24, 2025Updated last year
- Emacs flycheck/flymake java syntax checker.☆16Jul 15, 2014Updated 12 years ago
- Suite of universal indexes for Highly Repetitive Document Collections☆24May 14, 2020Updated 6 years ago
- JavaScript library for the FIWARE Context Broker services (web browsers & Node.js)☆11Feb 29, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 😎 A curated list of awesome EulerBeats resources.☆12Mar 29, 2021Updated 5 years ago
- A simple pam account module to process HBAC rules stored on an IPA server☆10May 14, 2018Updated 8 years ago
- Examples for eclairjs-node and eclairjs-nashorn☆12Jan 24, 2017Updated 9 years ago
- Social graphs for ERC☆15May 8, 2015Updated 11 years ago
- Quickly go to a specific parent directory in eshell☆36Feb 26, 2024Updated 2 years ago
- Get build time statistics of _FORTIFY_SOURCE coverage for programs☆12Sep 23, 2024Updated last year
- Add curly brackets to a whitespace indented string.☆10Aug 9, 2017Updated 8 years ago
- Middleware utility for your Promises☆25Dec 8, 2022Updated 3 years ago
- Verified Boot for RPi3☆15Nov 16, 2021Updated 4 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.
- npm package for query data from Transantiago☆12Dec 7, 2017Updated 8 years ago
- Set of tools to provide automation of tasks for creating STIG-partitioned EL8 AMIs☆10Updated this week
- Map (JSON) for emoji annotation to unicode generated via GitHub API.☆12Apr 9, 2017Updated 9 years ago
- a facebook/react extension which makes React components more intuitive☆10Feb 21, 2015Updated 11 years ago
- Ansible lookup plugin for pass (https://www.passwordstore.org).☆12Mar 1, 2021Updated 5 years ago
- ☆13Oct 10, 2018Updated 7 years ago
- Fine-track `org-agenda-files` to speed-up `org-agenda`☆16Dec 18, 2023Updated 2 years ago
- ☆11Mar 26, 2018Updated 8 years ago
- ☆13Sep 8, 2020Updated 5 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.
- Notes and reference for ongoing forecasting.☆16Mar 24, 2022Updated 4 years ago
- A plugins for FreeIPA 4+ to manage DHCP configurations☆17May 6, 2018Updated 8 years ago
- Like airswarm, but using tcp ports and unix sockets - node.js style☆20Oct 30, 2015Updated 10 years ago
- Literate emacs config file☆14Feb 2, 2018Updated 8 years ago
- DSL and utility functions in groovy for running Jenkins OSIO Pipeline☆13Feb 14, 2019Updated 7 years ago
- An expression parser supporting multiple types☆21Sep 25, 2024Updated last year
- Fuzzing Coreutils with AFL on kubernetes☆13Apr 25, 2019Updated 7 years ago
- Extensions to Go's testing/iotest package☆12Feb 13, 2016Updated 10 years ago
- A console-based interface for Github code reviews☆18Jul 7, 2026Updated 2 weeks 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.
- Non-interactively generate GRUB2-compatible PBKDF2 hashes from the cmdline with python☆12Dec 5, 2018Updated 7 years ago
- Simple multi-CPU cluster server manager for Node 0.6+☆15Jun 21, 2013Updated 13 years ago
- A web UI to asses the quality of SKOS and SKOS-XL files. Frontend for qSKOS.☆15Apr 30, 2026Updated 2 months ago
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- A script for running TLA+/TLC from the command line☆83Apr 20, 2021Updated 5 years ago
- Radix sorting in Go☆10Feb 4, 2019Updated 7 years ago
- Sir, is a tcp proxy that checks for regressions in your services/apps.☆12Mar 20, 2024Updated 2 years ago