Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
47,133 repositories indexed
23,737–23,760 of 24,706 · Most stars
Extra contribution for mathcomp
Tests consuming external textures with WebGPU
Learn how to test with tape! (tap-producing test harness for node)
Cross-platform, heap-free C test runner with parameterized and lifecycle-aware tests.
#AMA - Ask @tunnckoCore anything. Instead of sending me email use the issue tracker to send me messages or join in the Gitter.im chat
Framework-agnostic evaluation harness for Go — test your MCP servers and AI agents with scored, CI-ready checks.
Simple sitemap generator for .NET and .NET Core
Is this app legit? Check before you connect. Free URL security scanner for indie developers and AI builders. Live at trustscanpro.com
Vendor-agnostic, FHIR-Genomics-aligned API contract for cross-vendor NGS interpretation. JSON Schema + TypeScript + Python pydantic.
beck is obsolete. check out RaveJS: https://github.com/RaveJS/rave
ReactJS Dashboard which exposes information about your golem-providers such as # of completed tasks, etc.
Tooling for deploying, linting and testing relational database code
Common Lisp JupyterLite kernel using JSCL
XXTEA encryption algorithm library for ActionScript 3.
Blockchain Explorer API for Chainradar
An Ecto adapter for the Ravix RavenDB Driver
A library for run-time system code line-level coverage analysis.
Boilerplate for an Electron app written in Typescript/JSX
A production-quality expert-system shell, written in thoroughly modern Common Lisp.
REST API wrapper for Node
NAT type diagnosis CLI. Tells you why WebRTC/P2P/VPN connections fail and whether TURN is required.
This project demonstrates how to interface the SHT11 sensor with a MicroPython-compatible ESP32 board (e.g., Lolin32 Lite) to measure temperature and relative humidity. It uses bit-banged communication and is written fully in MicroPython.
Elixir client for exchangerate platform API
Terraform and OpenTofu version switcher written in Rust