Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Repository Index
47,133 repositories indexed
18,985–19,008 of 19,789 · Most stars
Experiments with wild lactobacillus
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
- dotnet
- sitemap
- web
Is this app legit? Check before you connect. Free URL security scanner for indie developers and AI builders. Live at trustscanpro.com
- nextjs
- open-source
- phishing-detection
- scam-detection
beck is obsolete. check out RaveJS: https://github.com/RaveJS/rave
Panoptic segmentation algorithms for 2D and 3D electron microscopy images
- deep-learning
- semantic-segmentation
- segmentation
- pytorch
Get the Godot color theme for NeoVim and Alacritty.
GoLang implementation of the unified crypto primitives for Waves Platform
Common Lisp JupyterLite kernel using JSCL
XXTEA encryption algorithm library for ActionScript 3.
Boilerplate for an Electron app written in Typescript/JSX
A production-quality expert-system shell, written in thoroughly modern Common Lisp.
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.
- micropython
- sht1x
- sht11
- sensor
Terraform and OpenTofu version switcher written in Rust
The repository host gives no description.
Quickly create vorpal commands which set a value, or print it if no argument was given.
Rust-powered wrapper for seamless execution of tfswitch and Terraform with version control.
- terraform
- tfswitch
- tofu
SmartRent integration for HomeBridge
- homebridge
- homebridge-plugin
- homekit
- automation
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming