pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Repository Index
47,133 repositories indexed
265–288 of 366 · Most stars
Terminal CLI to search and download ROMs, ISOs and Switch games. Interactive Textual UI, cross-platform catalog, resumable downloads.
- cli
- game-downloader
- python
- retro-gaming
Agent Skills that convert a WordPress site (or any live site) into a static Astro site with URL, SEO, content and pixel parity, then take it through launch. Works in Claude Code, Codex and any agent that reads SKILL.md.
Private Telegram bot and API that downloads App Store IPAs with ipatool and decrypts them with UnfairPlay
Micropython driver for ADS1115 and ADS1015
SmallRye implementation of MicroProfile Fault Tolerance: bulkheads, circuit breakers, fallbacks, rate limits, retries, timeouts, and more
- microprofile
:robot: Easy, efficient, and collaborative FIRST robot scouting
Loads ".env" files
- crystallang
- dotenv
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Delphi basic library for validation and authentication of LDAP users in Active Directory.
- activedirectory
- delphi
- adsi
- ldap
simple to use threading library
AudioPlayerView is an Android view that loads audio from an url and have basic playback tools.
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A JavaScript library for display ads in React applications.
- advertising
- prebid
- prebidjs
- dfp
A scanner similar to bufio.Scanner, but it reads and returns lines in reverse order, starting at a given position and going backward.
- log
- scanner
- reverse
A companion Playground for the article "Swift Functors, Applicatves, and Monads in Pictures"
Read and write Excel (.xlsx, .xls), CSV, and ODS files in Java with one line of code. Annotation-based mapping, SAX streaming, built-in validation, 19 type converters, cell styling. A high-performance alternative to Apache POI.
- annotation
- apache-poi
- csv
- data-processing
Advanced analysis software for APK payloads created by RATs.
- apk
- remoteaccesstrojan
- reverse-engineering
- aapt
a tool for handling file uploads simple
- file
- upload
- multipart
- http
Full configurable spreadsheet view user interfaces for iOS applications. With this framework, you can easily create complex layouts like schedule, gantt chart or timetable as if you are using Excel.
CLI for managing AI agent squads. Status, memory, goals, feedback, and dashboard for your autonomous agents.
Go tool + library that publishes GIS vector data to GeoServer via PostGIS — walks a directory of shapefile / GeoJSON / GeoPackage / KML, loads each into PostGIS via GDAL/OGR, then registers the resulting tables as GeoServer feature types. Idempotent. Tested on GeoServer 2.27 LTS + 2.28 stable.