CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Repository Index
68,261 visible repositories in the index
2,017–2,040 of 2,844 · Most stars
ColorSet is a macOS utility and framework allowing developers to manage custom interface colors with ease.
Gameserver, Voiceserver Webinterface
- game-server
- php
- voice-server
- webinterface
A small and easy-to-use one-time password generator library for Java implementing RFC 4226 (HOTP) and RFC 6238 (TOTP).
- java
- otp
- totp
- hotp
MirBSD Korn Shell Source Code Mirror – This is a publish-only repository and all pull requests are ignored. This repository is a mirror and may receive forced (non-fast-forward) updates. Please contribute to the CVS repository of The MirOS Project instead.
- c
- shell
- mksh
- ksh
go library for image programming (merge, crop, resize, watermark, animate, ease, transit)
- golang
- image
- merge
- crop
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
DbFit is a database testing framework that supports easy test-driven development of your database code.
👕👚 Theme management in Swift
A minimalistic, thread safe, non-boilerplate and super easy to use version of Active Record on Core Data. Simply all you need for doing Core Data. Swift flavour.
- coredata
- ios
- swift
- coredatastack
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
Build, Measure and Grow iOS subscription business
- ios
- in-app-purchase
- in-app-purchases
- in-app-receipt
An easier way to use code from GitHub in your Deno project.
- deno
- pkg
Show pleasant loading view for your users 😍
:crescent_moon: A modern black neovim theme written in Lua, with comfortable color contrast for a pleasant visual experience, with LSP and treesitter support
- colorscheme
- lua
- neovim
- theme
AppDaemon - Home Assistant Community Apps
- dashboard
- appdaemon
- python
- ssh-server
efootxi player announcements and release downloads; application source is private.
Awesome TextField is a nice and simple libriary for iOS and Mac OSX. It's highly customisable and easy-to-use tool. Works perfectly for any registration or login forms in your app.
- textfield
- ios
- swift
- swift-3
ECS Lua is a fast and easy to use ECS (Entity Component System) engine for game development.
- lua
- roblox
- luajit
- robloxlua
Open Sound Control (OSC) library for Golang. Implemented in pure Go.
- go
- golang
- golang-library
- osc
A browser extension for easy on-device translation with a local LLM (PLaMo). Private, free, no server needed.
- browser-extension
- chrome-extension
- firefox-extension
- japanese
Godot addon to animate a CollisionShape2D along with the frames of an AnimatedSprite2D. Useful for making changing hitboxes, hurtboxes and hardboxes. Comes with an Editor, making things easy.
Capacitor in-app purchases and subscriptions made easy.