Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
76,356 visible repositories in the index
29,617–29,640 of 32,102 · Most stars
Helpful Debug Overlay views for monitoring systems and tracking down elusive issues in GameMaker.
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
Example Python Application for OAuth2
Sitecore Helix is the official guidelines and recommended practises for developing in Sitecore.
Simple implementation of a quest system on dotnet with an interface for godot
Automatically exported from code.google.com/p/probab
Default ordering for your CakePHP tables
- php
- cakephp
- cakephp-plugin
- ordering
Docker-Sentinel: container update orchestration with manual approval queues
- containers
- devops
- docker
- docker-updates
Transform Git history: rewrite, clean, and optimize your repositories with ease.
- automation
- cli
- git
- python
TranslatedA GitHub Action that shows Solved.ac profile information as a GitHub Gist
- gistbox
- solved-ac
- solvedac
A simple to use shallow ETag plug
- etag
- plug
- elixir
- hacktoberfest
This project contains an addon for the Homematic CCU2 or a Raspberrymatic device which acts as an check_mk_agent.
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
lit-line is a minimal line chart web component for modern websites.
Delphi Port of Tobias Lütke's Liquid template language.
rethinkdb + react.js + ActionController::Live (Rails) + Server Side Events
a weirdly addictive arcade-style android game, where you fling fruit at a wall.
The implementation of Bech32 encoder and decoder for ruby
- bech32
- bech32m
- bitcoin
MicroPython library for the ESP8266 Geiger counter described here: https://hackaday.io/project/12933-esp8266-geiger-counter
Simple NodeJS Express 4 Cassandra Application
Helpers that complement @ember/render-modifiers
- ember
- emberjs
- ember-addon
- ember-helpers
FUlly Decoupled Generic Environment for Substrate-chains
Missile Command arcade game clone, written in Lua with LÖVE for Mac OS, Windows and Linux.
- missile-command
- lua
- game
- arcade-game