Small on-board editor for PyBoard, WiPy, ESP8266, ESP32, RP2040, W60x, XBEE 3, Sipeed K210, as well as PyCom and Adafruit devices written in Python
Repository Index
47,133 repositories indexed
649–672 of 1,233 · Most stars
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Small plugins and mods that make your life (and Claude Code) better
- ai-agents
- claude-code
- claude-code-mod
- claude-code-plugin
Create adversarial attacks against machine learning Windows malware detectors
- adversarial-machine-learning
- infosec
- python
- attack
A small, fast, in-browser database engine written in JavaScript.
Trading Environment(OpenAI Gym) + PPO(TensorForce)
- ppo
- proximal-policy-optimization
- tensorforce
- trading
Small C++ header to display async animations, counters, progress bars, and status messages
- cpp
- progress-bar
- counter
- animation
A small and customizable Neovim plugin for pretty printing the hover information from LSP servers
Correctly rounded decimals for Go
- decimal
- financial
- floating-point
- general-decimal-arithmetic
Small set of tools for helping with reverse engineering Linux drivers
Super minimal browserify development server
Small library to read your configuration from environment variables
- go
- configuration
- golang
Small exercises to discover elixir by testing
A small and easy-to-use one-time password generator library for Java implementing RFC 4226 (HOTP) and RFC 6238 (TOTP).
- java
- otp
- totp
- hotp
Beta. Self-hosted panel for running a VPN for others: family, friends, a community or a small team. Hysteria2, VLESS REALITY and AmneziaWG, one link per person. Add servers from the browser over SSH; client-eye health checks and Telegram alerts; MCP for AI agents. Two static Go binaries, SQLite, no Docker.
- amneziawg
- censorship-circumvention
- cloudflare-warp
- golang
Notifications for Wayland that look like they belong on a computer from this decade. Drawn with Rune.
A curated list of resources for machine learning for small-molecule drug discovery
- awesome-list
- machine-learning
- cheminformatics
- drug-discovery
A rich Observable/Signal implementation, the brilliant primitive you need to build a powerful reactive system.
- observable
- small
- fast
- rich
Fast and small gradients manipulation, built on top of TinyColor
- gradient
- colors
Minimalist Sublime Text theme
Audited & minimal library for creating, signing & decoding Bitcoin transactions.
- bip174
- bip340
- bitcoin
- btc
Minimal yet super-functional serverless boilerplate
- serverless
- boilerplate
A pintool in order to unpack malware
A minimalistic, thread safe, non-boilerplate and super easy to use version of Active Record on Core Data. Simply all you need for doing Core Data. Swift flavour.
- coredata
- ios
- swift
- coredatastack