Parse natural and standardized dates/times and ranges in Go without knowing the format in advance
Repository Index
47,133 repositories indexed
4,009–4,032 of 4,692 · Most stars
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Formatted TAP output with dots ...
Examples for Alternativa3D Flash 3D engine
Blue / Green Deployments for Cloudflare Workers
- blue-green-deployments
- canary-release
- ab-testing
- cloudflare-workers
ID obfuscation for the CakePHP ORM.
Linux tuning for CouchDB performance
- couchdb-performance
- couchdb
- linux-tuning
GLPT :: OpenGL Pascal Toolkit. A multi-platform library for OpenGL and OpenGL ES
EtlKit is a lightweight ETL (extract · transform · load) library and data integration toolbox for .NET. Build your own data pipelines programmatically in C# — readable, testable, and tracked in source control like the rest of your code.
- dotnet
- dotnet-core
- etl
- etl-framework
A zero-allocation debouncer
- debounce
- go
- golang
- performance
Convert a string to a camel case.
- case
- utility
Converts John The Ripper/Cain format hashes (singular, or in bulk) to HashCat compatible hash format.
- hashcat
- ntlmv1-hashcat
- hash-formats
- ntlmv2
FairPlayCombined is a platform designed to accelerate app development using .NET, Blazor, and more. It includes real-world templates like video sharing and dating apps, reducing costs and time-to-market. Perfect for developers, startups, and businesses, it empowers innovation and delivers value with pre-built tools and resources.
- aspire
- blazor
- csharp
- dotnet
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Spatial Transformer Nets in TensorFlow/ TensorLayer
- tensorlayer
- tensorflow
- cnn
- deep-learning
Desktop & phone notifications for AI coding agents (Claude Code, Codex, Gemini CLI, Cursor). Native VS Code support. Toast + ntfy push. Zero dependencies.
VK API Wrapper
Cross framework, cross platform computer vision for Haxe
MyFin Budget - Rest API for the personal finances platform that'll help you budget, keep track of your income/spending and forecast your financial future.
- budget-app
- nodejs
- nodejs-api
- personal-finance-manager
NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility
- astronomy
- astronomical-algorithms
- celestial-mechanics
- nasa
Do you often find yourself caught off guard idling in Insert mode instead of escaping to Normal mode like a true Vim user? Let this help you train yourself out of the bad habit. It also boots you out of Insert mode after certain amount of seconds of inactivity
The repository host gives no description.
Musical Scores for Piano with full sources in LilyPond file format
- lilypond
- music
- score
- bach
Elasticsearch query builder for golang