Decimal handling as value object instead of plain strings or floats.
Repository Index
47,133 repositories indexed
1,057–1,080 of 1,233 · Most stars
Talk to Claude Code instead of typing — on Linux. Local voice-to-text using Whisper, no cloud, no API keys.
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Ultra-lightweight Java DI framework with JSR-330 support, fast classpath scanning, and zero boilerplate. Minimal alternative to Spring/Guice.
- dependency-injection
- dependency-management
- di-framework
- ioc-container
A fast, robust, secure, richly-featured table serialisation library for Lua
Create HTTP permalinks to your Git web frontend hosts
lit-line is a minimal line chart web component for modern websites.
Dataset of packed ELF samples
- samples
- dataset
- upx
- malware-analysis
Attack tool for altering packed samples so that they evade static packing detection
- adversarial
- attack-defense
- evasion
- executable-packing
A mysql honeypot, still very very early stage
A small boilerplate introducing webpack and es6 features to a Marionette/Backbone application
German small and large versions of GPT2.
- gpt2
- german
- common-crawl
- machine-learning
Lightweight Docker monitoring dashboard with anomaly detection & Telegram alerts. One-liner install, zero config.
Simple and highly configurable terminal plugin for neovim.
- neovim
- plugin
- ternimal
Driver for Grid-EYE thermal infra red array sensor (Adafruit 3538)
PiHex Library, written in Go, generates a hexadecimal number sequence in the number Pi in the range from 0 to 10,000,000.
Self-hosted 4D spatiotemporal AI platform built on PostgreSQL, PostGIS, TimescaleDB, H3 and pgvector, with anomaly & threat detection, NLQ interface and full observability.
- ai-platform
- anomaly-detection
- h3
- nlq
A small FPS graphing utility for LOVE
Omarchy-Tycho is a minimalist, pastel theme for Omarchy inspired by the ambient soundscapes and visual aesthetics of musician and designer Tycho (Scott Hansen)
Small tool to create your postgresql backups on regular bases and upload them to S3
An application to track and visualize the rewards from running an Algorand node, using Nodely API.
- algorand
- algorand-blockchain
- algorand-node
Minimal cgo bindings for libenca
A Pharo driver for MongoDB
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm