Software Foundations in Idris
- idris
- theorem-proving
- book
- computer-science
Repository Index
47,133 repositories indexed
10,897–10,920 of 22,659 · Most stars
Gruvbox theme for neovim with full 🎄TreeSitter support.
- vim
- vim-theme
- gruvbox-color-scheme
- neovim-lua-plugin
Go bindings for H3, a hierarchical hexagonal geospatial indexing system
- spatial-indexing
- geospatial
- uber
- h3
DeepSeek-V4.1-Flash-1017 EXL3 on 2x DGX Sparks with TensorFold
A serialization/deserialization/validation library for strings, mappings and lists.
- validation
- forms
- serialization
- deserialization
MarkText (muya) WYSIWYG Markdown editor for the DeepSeek Harness right sidebar
Minimalist Flutter Todo App, built using BLoC pattern
Android TensorFlow MachineLearning MNIST Example (Building Model with TensorFlow for Android)
- tensorflow
- tensorflow-tutorials
- mnist-classification
- mnist
Fluent mapping for Dapper, with conventions, immutable object materialization, analyzers, source generators, DI integration, and Dommel support.
- dapper
- c-sharp
- poco-properties
- analyzers
A CLI tool for synchronizing the schema and configuration of Directus across various environments.
Build tool for Arch Linux providing control, review and jailed build options
- archlinux
- aur
- arch-user-repository
- namespaces
Easy permission definitions in Elixir apps!
RMT is a handy tool to help releasing new version of your software
Make Gemini code like Claude Models. Forces it to inspect files before editing, plan changes, test its work, and back up every “done” with actual evidence.
- agent-skills
- antigravity-skills
- gemini
- prompt-engineering
Code for Latent Sparse Attention: Towards Subquadratic Ultra-Long Context Attention
MQTT-PWN intends to be a one-stop-shop for IoT Broker penetration-testing and security assessment operations.
- python
- mqtt
- mqtt-broker
- mqtt-client
ViewPagers library for Android
- android
- android-ui
- ui
- java
The open source software to build cool stuff with locomotion
- public-transportation
- navitia
- open-api
- journey-planner
Convert and edit files with a liquid-glass radial menu: start dragging a file, press Shift, drop it on a slice. Windows, Mac and Linux.
Yet Another CLi Spinner; providing over 80 easy to use and customizable terminal spinners for multiple OSes
- go
- cli
- spinner
- golang
CUDA Visual Library by RPG
Grunt plugin to run Google PageSpeed Insights as part of CI
libsigc++ implements a typesafe callback system for standard C++. It allows you to define signals and to connect those signals to any callback function, either global or a member function, regardless of whether it is static or virtual.
Mongo_dart: MongoDB driver for Dart programming language