Smart contracts which are formally verified
Repository Index
47,133 repositories indexed
2,209–2,232 of 4,397 · Most stars
High performance 2D collision detection system with realistic physics responses.
- physics-engine
- physics-2d
Multi-step forms for your Symfony project.
- php
- symfony
- symfony-bundle
- bundle
Performant pure-PHP AMQP (RabbitMQ) sync/async (ReactPHP) library
- amqp
- amqp-client
- amqp0-9-1
- php
An extension of RuboCop focused on code performance checks.
- ruby
- rubocop
- linter
- static-code-analysis
Tanel Poder's Performance & Troubleshooting Tools for Oracle Databases
- database
- performance
- tuning
- troubleshooting
A basic but performant promise implementation.
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
- testing
- property-based-testing
- stress-testing
- unit-testing
Clendar - Minimal Calendar app. Written in SwiftUI.
Library for iOS Camera API. Massively increase performance and ease of use within your next iOS Project.
Video++, a C++14 high performance video and image processing library.
TranslatedDeepSeek Harness Mobile is a native mobile client for DeepSeek Harness. It connects to Harness over WebSocket through dsh-plugin-mobile-gateway, bringing workspaces, sessions, real-time replies, and Agent execution traces to the iPhone, while carrying on the restrained, clear visual language of the DeepSeek WebUI
- deepseek
- deepseek-harness
- deepseek-harness-plugin
- dsh-plugin
MagicScaler high-performance, high-quality image processing pipeline for .NET
- image-processing
- image-resizing
- imaging
- jpeg
A Go package for engineering organisms.
- synthetic-biology
- synbio
- genetic-engineering
- molecular-biology
JDBC from Clojure (formerly clojure.contrib.sql)
Auto-formatter for OCaml code
- ocaml
NGraphics is a cross platform library for rendering vector graphics on .NET. It provides a unified API for both immediate and retained mode graphics using high quality native renderers.
Stream any torrent, video or audio, and skip to any moment in about a second. Free, open-source desktop app for Windows, macOS and Linux. No servers, no accounts, no telemetry.
- audio-player
- bittorrent
- cross-platform
- desktop-app
LYNX SHARE — lightweight open-source DAW in C++20/JUCE with the FL Studio workflow: Channel Rack, Piano Roll, Playlist, Mixer and .flp import
- audio
- clap
- cpp20
- daw
Fast, native API client for REST, gRPC, WebSocket and GraphQL. A local-first Postman alternative written in Go: no Electron, no account, no cloud.
Automated image compression for efficiently distributing images on the web.
- image
- image-optimization
- image-compression
- compression
Opinionated, web development framework for F# which implements the server-side, functional MVC pattern
- fsharp
- web
- backend
- cross-platform
A Collection of major Jetpack compose UI components which are commonly used.🎉🔝👌
- jetpack-compose
- cookbook
- component
- collections
⚡ Pi, the coding agent, compiled ahead of time to one native executable. 10× faster to start, 7× less CPU and 4.5× less memory than Pi on Node. Linux, macOS, Windows, ARM64 and Android (Termux).
- ahead-of-time
- bun
- coding-agent
- linux