Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
47,133 repositories indexed
2,161–2,184 of 2,481 · Most stars
Example Python Application for OAuth2
DocId set compression and set operation library
Administration tool for Ravenports
Dataset for NLG which contains preceding context along with each generation instance
Docker-Sentinel: container update orchestration with manual approval queues
- containers
- devops
- docker
- docker-updates
Quantum-resistent asymmetric key generation tool for digital signatures.
- post-quantum-cryptography
- uov
- rainbow-scheme
- security-tools
User configuration and data file management
Adds support for Knockout binding syntax to make transition from Durandal and Knockout to Aurelia simpler.
- aurelia
- knockout
- composition
- aurelia-plugins
A theme for Chrome/Chromium on KDE5 when using Breeze Dark window decorations.
- chrome-extension
- chromium-extension
- chrome
- chromium
The GMap iteration macro, plus a few other useful macros.
tine groupware main repository
- caldav
- calendar
- carddav
- collaboration
env Yaml is a configuration loader from Yaml file with enviromental variable that helps to have secret placeholders in yaml file.
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
- agent-orchestration
- cli
- developer-tools
- llm-agents
The missing shorthand for Rails credentials access
- configuration
- gem
- rails
- ruby
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
Parse, modify, and format time durations.
- datetime
- deno
- duration
- javascript
HAPI plugin for GraphiQL integration
- hapi
- graphql
- graphiql
- plugin
Constructive Generation Methods for Dungeons and Levels
Server Backend der OpenOlitor Administrationsplattform
A testing library that allows "time travel," "freezing time," and "time acceleration". Inspired by the ruby-timecop library.
- testing
- timecop
- crystal
Weather repo to demonstrate continuous integration with Jenkins, Git, Maven, Grunt, and JMeter
Twital integration for Symfony
Convert Postman Collection v2.1 JSON into executable pytest test suites
- api-testing
- postman
- pytest
- python