47,133 repositories indexed
1,057–1,080 of 1,139 · Most stars
fkthemes.nvim is a highly customizable and intuitive theme manager plugin designed to bring a seamless theming experience to Neovim users. With Fkthemes.nvim, you can effortlessly switch between multiple themes, enable transparency in various UI components, and even create custom keybindings to cycle through your favorite themes
Persistent AI workflows for Neovim. OpenAI Codex and xAI Grok integration for Neovim with persistent sessions, workspaces and token monitoring.
NFDump File Reader
A Omarchy plugin for moving workspaces between monitors
▶️ An awesome list of awesome Spanish YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.
A pong game that runs on bare metal PCs or DOS (so called "PC-BOOTER")
A Python library built on pandas and geopandas for linearly referenced data management, engineering, and analysis using the DataFrame accessor pattern (.lr).
Elixir coordinate conversion library using OSGeo's PROJ.4
An open-source toolkit for analyzing line-oriented JSON Twitter archives with Apache Spark.
A Go project to explore the math to calculate and present data in a map using the `Web Mercator Projection`
A Splitable Hadoop InputFormat for Concatenated GZIP Files and *.(w)arc.gz
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
The repository host gives no description.
directus-extension-sparkline-display
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
⚠️ Temporary repository for Sparkle update
The repository host gives no description.
Better buffer manager
A repository for deploying an AWS EMR cluster and submiting spark jobs on it. Boostrapping by default does inclues pysparkling so one can easily use h2o with python and spark.
Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.
A lightweight application serving frontend applications and load balancer.