Lightweight Node.js library for building Slack Block Kit UIs, with a declarative syntax inspired by SwiftUI.
Repository Index
47,133 repositories indexed
2,353–2,376 of 4,875 · Most stars
🏔️ A Neovim theme that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.
User management lib for Phoenix Framework
Unofficial static recompilation of the Xbox 360 version of Need for Speed: Most Wanted (2005): a native port for Steam Deck, Steam Machine, Steam Frame, Linux and Mac (iPhone/iPad: sideload the experimental IPA or build it yourself). Bring your own disc: no game files included. Not affiliated with EA or Valve.
YoutubeKit is a video player that fully supports Youtube IFrame API and YoutubeDataAPI for easily create a Youtube app
- youtube
- swift
- api-wrapper
- video-player
Building a Better Democracy for the Internet Age
- legislation
- legislative-bill-analysis
- civic-tech
- civic-engagement
The wise choice for Ruby memoization
- ruby
- memoization
- ruby-memoization
- benchmarks
Open Reality: phone video to AI-queryable 3D scenes. MCP tools for Claude/Codex/Cursor (npm openreality-mcp), the self-hostable broker, and the VGGT-SLAM library, in one repo. BSD-2-Clause.
A multiplatform expectation library for Kotlin
- assertion-library
- kotlin-multiplatform
- kotlin
- kotlin-testing
Platform Abstraction C++ Libraries
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
PEframe is a open source tool to perform static analysis on Portable Executable malware and malicious MS Office documents.
A collection of programs that access and manipulate ELF files.
JSON-RPC 2.0 implementation over WebSockets for Node.js and JavaScript/TypeScript
- rpc-api
- rpc-framework
- rpc-client
- rpc-server
API to consume REST services written in any programming language with support to Lazarus and Delphi
Kapow! If you can script it, you can HTTP it.
AGCircularPicker is helpful component for creating a controller aimed to manage any calculated parameter
- circular
- picker
- pickerview
- clockpicker
Animation library that mimics CSS keyframes when scrolling.
- typescript
- css
- css-animations
- keyframes
The simple, stupid batch framework for Java
- java
- batch-processing
- batch
Podcast about Android Development with Hannes Dorfmann, Artem Zinnatullin, Artur Dryomov and wonderful guests!
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Energy is a framework developed by Go language based on CEF (Chromium Embedded Framework) for developing cross-platform desktop applications for Windows, Mac OS X, and Linux
Modular file scanning/analysis framework
- python
- analytic-machines
- analysis-framework
- python-script