High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
47,133 repositories indexed
6,481–6,504 of 8,961 · Most stars
High level commands to declare a hierarchy based on packed classes
Electrum Fake — Bitcoin wallet balance spoofing tool with real-time overlay for Electrum desktop client, custom BTC balance injection, transaction history forging, and screenshot-safe persistent display rendering
Nosis is a lightweight personal agent runtime: per-session execution boundaries with OS-level sandboxing, computer use, a full built-in toolset, Skill / Plugin / MCP extensions, one runtime shared by GUI and TUI, and file-persisted sessions, plans, and memory.
TMX is a modern desktop terminal client for SSH workflows, built on Electron + React. It bundles a real persistent terminal (node-pty / ssh2 / xterm.js), a host manager, SFTP, snippets, an AI copilot and a built-in MCP server into a single cross-platform app (macOS / Windows / Linux).
Snapshot testing for Java, Kotlin, and the JVM
dOOv (Domain Object Oriented Validation) a fluent API for type-safe bean validation and mapping
Use PanGesture to dismiss view on UIViewController and UIView
A Sitecore Helix based solution for Greenfield projects
A few classes for extremely fast json parsing/serializing in modern C++. Possibly the fastest json parser in C++. Possibly the fastest json serializer in C++.
Ken Burns effect with face recognition!
Readings for "A Unified View of Relational Deep Learning for Drug Pair Scoring." (IJCAI 2022)
RLI Next Gen (Rling), a faster multi-threaded, feature rich alternative to rli found in hashcat utilities.
LÖVE Helper Utilities for Massive Progression
A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis
Simple Command Line Options Parser - part of the DUnitX Project
ZoneTree.FullTextSearch is an open-source library that extends ZoneTree to provide efficient full-text search capabilities. It offers a fast, embedded search engine suitable for applications that require high performance and do not rely on external databases.
JMeter plugin that lets you send sample results to an ElasticSearch engine to enable live monitoring of load tests.
a collectionView made for Sprite Kit
A minimalistic Git client for Mac
Module for Framer Studio to handle device orientation events.
soilDB: Simplified Access to National Cooperative Soil Survey Databases
go websocket client for unit testing of a websocket handler
User-friendly framework for building your dream tabline in a few lines of code.
Inquiries extension for Refinery CMS