Modeling and Proving in Computational Type Theory
Repository Index
61,275 visible repositories in the index
1,537–1,560 of 1,928 · Most stars
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes
BKNR datastore - MOP-Based in-memory database with transactions for Common Lisp
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
GoThanks automatically stars Go's official repository and your go.mod github dependencies, providing a simple way to say thanks to the maintainers of the modules you use and the contributors of Go itself.
- go
- golang
- thanks
- open-source
This is a library that provides generic functionalities for the implementation of imports. In addition to maximum performance and optimized memory consumption, Pacemaker can also be used to implement imports in distributed scenarios that place the highest demands on speed and stability.
- magento
- import
- products
- categories
This repository contains Swarm Assault remake project based on the OpenRA Mod SDK.
This repository contains the content of the book Getting Started With Ledger.
- ledger
TinyMQ - a diminutive, in-memory message queue
A component that combines antd's Table and Form to do the search, display, and operating jobs for data.
Storybook plugin for Roblox UI
- roblox
- plugin
- storybook
- roact
Neovim plugin improving access to clipboard history
Introductory Vulkan sample
A zero-dependency generic in-memory cache Go library
- cache
- go
- golang
- generic
A Go (golang) package providing high-performance asynchronous logging, message filtering by severity and category, and multiple message targets.
Official commonqt repository
Fast, memory-safe camera RAW decoder in Rust: ~40 formats, SIMD, GPU, WebAssembly, ICC colour management. CLI, C, C++, Python and JavaScript bindings.
- camera-raw
- decoder
- dng
- image-processing
Autonomous DFIR agent: point it at disk images, memory dumps or log exports and get back an investigation that shows its work. Volatility 3, Plaso, YARA and any OpenAI-compatible LLM.
lock-free, concurrent, key/value index with efficient memory-mapped persistence and fast transient storage models
Custom segue for OSX Storyboards with slide and cross fade effects (NSViewControllerTransitionOptions)
Turn intent into work. Open-source Desktop/Web agent harness with long-horizon memory, live evaluation and recoverable batches.
- agentic-ai
- browser-automation
- computer-use-agents
- desktop-automation
Qwen3.5-2B with a SIMT GPU inside its weights, 45 compiled layers in front of Qwen’s own, using its Gated DeltaNet layers as registers and memory.
Anvilogic Forge
- detection
- detection-engineering
- threat-hunting
- snowflake
Memory consumption estimator for Java