Repository Index

🐕 Bare minimum 500b fetch polyfill.

• fetch
• ajax
• xmlhttprequest
• polyfill

Pagination library for Rails and other Ruby applications

• rails
• plugin
• pagination-library
• sinatra

learn LLM inference system on Apple Silicon for systems engineers: build a tiny vLLM + Qwen

• course
• large-language-model
• llm
• python

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

🔰 Instant PHP quality checks from your console

• php
• static
• analytics
• code

Familiar asyncio ORM for python, built with relations in mind

• orm
• asyncio
• async
• python3

AI-powered bug bounty hunting toolkit that works with or without subscription.

• ai-security
• bug-bounty
• bugcrowd
• claude-ai

Main Liquibase Source

• java
• liquibase
• database-migrations
• java-library

A cross-platform file change monitor with multiple backends: Apple macOS File System Events, *BSD kqueue, Solaris/Illumos File Events Notification, Linux inotify and fanotify, Microsoft Windows and a stat()-based backend.

• event-notifications
• change-monitor
• fswatch
• kqueue

In this noteboook I will create a complete process for predicting stock price movements. Follow along and we will achieve some pretty good results. For that purpose we will use a Generative Adversarial Network (GAN) with LSTM, a type of Recurrent Neural Network, as generator, and a Convolutional Neural Network, CNN, as a discriminator. We use LSTM for the obvious reason that we are trying to predict time series data. Why we use GAN and specifically CNN as a discriminator? That is a good question: there are special sections on that later.

:tomato: Simple and visually-pleasing Pomodoro timer

• pomodoro
• pomodoro-timer
• productivity
• time-management

Perceptual video quality assessment based on multi-method fusion.

lakeFS - Data version control for your data lake | Git for data

• data-engineering
• data-versioning
• go
• object-storage

CSS custom properties to help accelerate adaptive and consistent design.

• css
• css-utilites
• css-custom-properties
• css-custom-media-queries

High-performance TensorFlow library for quantitative finance.

• tensorflow
• quantitative-finance
• python
• finance

qpdf: A content-preserving PDF document transformer

• pdf
• pdf-document-processor

:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

• anglesharp
• dom
• c-sharp
• html

Cinder is a community-developed, free and open source library for professional-quality creative coding in C++.

This Ansible collection provides battle tested hardening for Linux, SSH, nginx, MySQL

• ansible
• sysctl
• protection
• hardening

An extensible multilanguage static code analyzer.

• code-analysis
• code-quality
• static-analysis
• static-code-analysis

TranslatedBrings the local Wallpaper Engine wallpapers into the DSH web interface: scene wallpapers are rendered in real time with WebGL by the built-in MIT open-source engine WebWallGL (particles / puppet skeletons / SceneScript / audio reactivity / mouse interaction), and if that fails it automatically falls back to an embedded MP4 and the scene's static frame; web wallpapers run in a strict sandbox + the WE API; iOS-style liquid glass UI that is highly customizable, pause when occluded to save power, ffmpeg transcoding with a frame rate cap, system audio spectrum and Now Playing, custom upload and automatic rotation; settings are stored on the host side, with zero token overhead for the agent. Native on all three platforms: Windows / macOS / Linux (the same package, the same command).

• dsh-plugin
• dsh-plugin-market
• dsh-plugins
• deepseek-harness

Thoughtfully architected, obscenely fast, thoroughly enjoyable web services for all

• net-framework
• webservices
• framework
• c-sharp

🎉 Flexible invoicing desktop app with beautiful & customizable templates.

• invoice
• invoice-pdf
• invoice-generator
• invoice-template

React: CSS in JS techniques comparison

• cssinjs
• css-in-js