Software Specifications for Scala
- scala
- specs2
- specification
- test
47,133 repositories indexed
2,233–2,256 of 4,970 · Most stars
Software Specifications for Scala
Easy pipelines for pandas DataFrames.
Automated image compression for efficiently distributing images on the web.
Some CircuitPython tricks, mostly reminders to myself
ObjectivePGP is an open-source library for iOS and macOS that provides developers with tools for implementing OpenPGP encryption and decryption, digital signing, and signature verification in their applications, thereby enhancing security and data integrity.
Gems of Unity Labs for our user-base.
Path-traced Minecraft Java 1.21.1 through NVIDIA RTX Remix: a Fabric mod (beta)
Autonomous development for real products. Governed agents build from specs you approve, follow the rules you set, and nothing merges until another agent proves it. Your decisions, judgement and taste are the bar that work must clear. Declare your vision and let agents build it.
Bindings and ADO.NET Provider for DuckDB
Vulkan, OptiX and CUDA Interoperation Modular Rendering Library and Framework for PC/Linux/Android
Practical Data Science with Ruby based tools.
Fast and dependency-free cryptographic hashing library for node.js and browsers (supports MD5, SHA1, SHA256, SHA512, RIPEMD, HMAC)
Crash Team Racing: Nitro-Fueled (PS4) running natively on Windows 10/11. Windows fork of SacredFire, built on bbport and shadPS4. No game files included.
Artificial Intelligence for Ruby - A Ruby playground for AI researchers
VexCL is a C++ vector expression template library for OpenCL/CUDA/OpenMP
The AI agent that lives in your framework/browser
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
A Modern C++ Data Sciences Toolkit
Malicious HTTP traffic explorer
An in-app visual layout inspector for iOS. Inspect UIKit and SwiftUI views, frames, spacing, overlaps, insets, and properties on device.
The last Micro Web Server for IoTs (MicroPython) or large servers (CPython), that supports WebSockets, routes, template engine and with really optimized architecture (mem allocations, async I/Os). Ready for ESP32, STM32 on Pyboard, Pycom's chipsets (WiPy, LoPy, ...). Robust, efficient and documented!
Task management system based on .NET 8 with Microservices, DDD, CQRS, Event Sourcing and Testing Concepts
For interfacing with Windows/macOS/Linux using an ESP32, a touchscreen and BLE.
Menu with a circular layout based on Macaw