A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
Repository Index
47,133 repositories indexed
8,785–8,808 of 27,325 · Most stars
TranslatedYour AI study partner: plan the route, explain the knowledge, build projects, learn by doing, and master a subject thoroughly
- education
- learning-agents
- self-directed-learning
- self-study
An active model wrapper for the Neo4j Graph Database for Ruby.
Cross-platform static analyzer and linter for Swift.
- swift
- linter
- static-analyzer
- apple
When Claude keeps giving you bad answers, make 100 versions of it fight to the death. Same task, 100 different strategies, a bracket, one answer left. Free Claude Code skill.
A curated list of awesome WebAudio packages and resources.
- webaudio
- awesome
- list
- awesome-list
Geo-related tools PHP 7.3+ library built atop Geocoder and React libraries
- php
- geolocation
- geotools
- geo
jQuery feature tour plugin.
A sharp, readable, vector-y version of Monocraft, the programming font based on Minecraft
An extensible framework for linking databases and interactive views.
- data
- duckdb
- interaction
- scalability
Omelette is a simple, template based autocompletion tool for Node and Deno projects with super easy API. (For Bash, Zsh and Fish)
- autocompletion
- cli
Code analysis & navigation plugin for Neovim. Navigate codes like a breeze🎐 Exploring LSP and 🌲Treesitter symbols a piece of 🍰 Take control like a boss 🦍
- neovim-plugin
- language-server-client
- neovim
- lsp
VIM as a presentation tool
Image loading, caching & transforming library for Xamarin and Windows
Material Design Iconic Font and CSS toolkit
A native go client for HDFS
- hdfs
- go
- commandline
In-memory and distributed caching toolkit for Elixir.
- cache
- distributed
- ecto
- elixir
Zero-abstraction Postgres for TypeScript: a non-ORM database library
- postgresql
- postgres
- postgresql-database
- postgres-database
A full-featured BDD unit testing framework for bash, ksh, zsh, dash and all POSIX shells
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
- localization
- xib
- storyboard
- swift
bandwidth monitor and rate estimator
Easy-to-use Raspberry Pi image for booting directly into full-screen Chrome, with built-in convenience features for unattended operation. Perfect for dashboards and build monitors.
- raspberry-pi
- kiosk-mode
- dashboard
Godot Editor plugin to help import Aseprite animations to AnimationPlayers, AnimatedSprites and SpriteFrames.
- animation
- aseprite
- godot
Record and replay your HTTP interactions for fast, deterministic and accurate tests
- go
- golang
- testing