Sokoban (in Coq) [maintainer=@erikmd]
Repository Index
47,133 repositories indexed
18,961–18,984 of 22,187 · Most stars
MIRNet model is used to enhance a low-light image. Implemented MIR-Net model with TF-Lite.
- tflite
- mirnet
- tensorflow2
- tfhub
An Elixir module for generating Gravatar urls.
- elixir
- gravatar
A Common Lisp library for reading and writing JPEG image files
Clop - Common Lisp tOml Parser
2D game on Flutter. Made with Flame game engine.
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
A Gemini CLI extension for Beads (bd). Adds graph-based task management, dependency tracking, and context persistence to AI workflows.
- cli
- context-awareness
- gemini-cli
- gemini-cli-extension
Decimal number parser and formatter package for the Common Lisp language
- decimal-numbers
- common-lisp
- library
- parser
Run a release with one simple command
Fast, dependable universally unique ids
Tool that allows to write Erlang NIF libraries in Haskell
Apache JMeter Plugin to convert a HAR file to a JMeter script and Record XML file
- convertor
- har
- jmeter
- jmeter-plugin
Phalcon 3, PHP7, Docker sample starter application
view the data bound to a D3.js project simply by mousing over elements
universal file based router
StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications
- android-security
- android
- static-analysis
- dynamic-analysis
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
ATBinHex viewer for streams of unlimited size
Inserts a trap for spam bots into responses.
- php
- middleware
- honeypot
- stack
The repository host gives no description.
:clock1: Date and Time - Golang Formatting Library
Sapphire — A vivid blue Linux theme with rich accents for omarchy.org
An updated collection of useful resources to resources to design, develop and market games.