Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Repository Index
47,133 repositories indexed
5,569–5,592 of 6,754 · Most stars
Crypto Puzzles is a tool and library to provide a bunch of functions for encryption or pseudo encryption as puzzles or brain teasers. Awesome for kids but some puzzles are also a challenge for adults.
This is the github repository for converting craft pretrained model to tflite version
A website to teach Wagtail CMS to content editors, moderators and administrators.
Copy lines with file path, line number, and repository URL metadata. Perfect for sharing code snippets with context.
- editing-support
- neovim
- neovim-lua
- neovim-plugin
Spatial Transformer Nets in TensorFlow/ TensorLayer
- tensorlayer
- tensorflow
- cnn
- deep-learning
Web Application Firewall (WAF) Detector
General purpose game editor made in Game Maker Studio 2. The basis for a lot of the tools I make.
- gamemaker
- gamemaker-studio-2
- gamemaker-projects
- gamemaker-language
IGStoryButtonKit provides an easy-to-use button with rich animation and multiple way inspired by instagram story/stories.
- instagram-stories
- ios
- swift
- button-animation
This repository is discontinued, see https://github.com/ValveSoftware/Fossilize
Self-hosted AI-assisted CTI-to-detection workbench for ATT&CK mapping, IOC/CVE intelligence, Threat Radar, malware triage, Attack Simulation, and SIEM validation.
Fast, zero-dependency cost calculator and customizable statusline for Claude Code. Single binary, no runtime needed.
Dependency Injection and Inversion of Control package
- dependency-injection
- lifecycle
- injector
- ioc-framework
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
Neovim plugin that adds H/M/L indicators to your line numbers
- neovim
- neovim-plugin
- plugin
A Godot plugin helping in building interactive fictions and dialog system
- gdscript
- godot-engine
- godot3
- godotengine
GCode interpreter and simulator for node.js
Python port of Scramjet framework
Attempt to give a new life for VVDocumenter-Xcode as source editor extension.
- xcode
- xcode8
- xcode9
- xcode-plugin
Parser for maps generated by the editor PyxelEdit
- tile
- tilemap
- haxe
- pyxel
Library of constructors operating and improving primary GameMaker functionalities.
A simple powertoys run plugin provides fast and easy way to peek other forms of an input number
- powertoys
- powertoys-run
- powertoys-run-plugin
A NodeJS module for reporting new version of Chrome extension being published on Chrome Web Store
Orpheus is a high-performance CLI framework designed to be super simple and ~30× faster than popular alternatives with zero external dependencies. Built on FlashFlags, Orpheus provides a simple interface to create modern, fast CLI apps similar to git.
- agilira
- cli
- cli-app
- commandline