Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Repository Index
47,133 repositories indexed
2,497–2,520 of 3,257 · Most stars
An extended platform release manager for Robot Operating System
Clojure library for debugging core functions
- clojure
Google (and more) maps for Starling and Feathers.
Templates for ASP.NET Core Blazor without any js and css libraries.
Random Forest implementation in golang
A Coreader-like Dependency Injection μFramework
- dependency-injection
- coreader
- functional-programming
- ios
A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS
- libsass
- dotnet
- dotnet-standard
- scss
Lightweight, powerful, flavorful, template engine.
- mustache
- templating
- netstandard
- template-engine
The repository host gives no description.
- sitecore
- exm
- sitecore-forms
- blogpost
Counter caches for Rails computed from any block, such as conditional counts or sums, kept up to date by callbacks on any number of models and stored in a column, a shared counters table or your cache store. Recounts run after commit, so concurrent saves can't leave a stale value.
ILI9342C Fast 'C' Driver for MicroPython (M5Stack Core)
- micropython
- ili9342
- ili9341
- m5stack
Run scripts, explore your genome, and get personalized explanations — all in natural dialogue.
- analysis
- claude
- claudecode
- dna
The repository host gives no description.
BlackTurq — A bold black & turquoise Linux theme for omarchy.org
Mecha no Onna (メカの女) the "Metal Woman”.
Waveshare E-Paper Display driver for devices running Pycom-flavored MicroPython
Ruby wrapper for the Weaviate vector search database API
- api-client
- ruby
- vector-search
- weaviate
BlackGold — A sleek black-and-gold Linux theme for omarchy.org
Go's answer to pandas + scikit-learn: a batteries-included data analysis library with dataframes, statistics, machine learning, quant, and GPU acceleration. Run Python with seamless two-way variable sharing, or explore data straight from the Insyra CLI.
FsLibLog is a single file you can copy paste or add through Paket Github dependencies to provide your F# library with a logging abstraction. This is a port of the C# LibLog.
- fsharp
- logging
- dotnet
- dotnet-core
Render you app even before the DDP connection is live. - magic?
A small command line tool for estimating usage of Game Boy (and other supported GBDK platforms) ROMs from map files, .noi files, binary ROMs and more
- gameboy
- gbdk
- rgbds
- map-files
C# client to interact with a particular PocketBase application: an ORM mapped to your PocketBase server. [This project is in active development. The things described below could change]
- code-generation
- csharp
- mapper
- netcore