Smooth scrolling for ANY command 🤯. A Neovim plugin written in Lua!
Repository Index
47,133 repositories indexed
6,649–6,672 of 12,846 · Most stars
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
The ultimate spinning wheel view that supports dynamic content and rich customization.
- ios
- swift
- fortune
- fortune-wheel
An open-source custom bootstrapper for Roblox Studio that allows you to override files in Roblox Studio's directory, opt into development branches of Roblox, and experiment with Fast Flags.
- roblox-studio
- lua
- c-sharp
Upload once to create multiple, relative PRs. Productivity-focused git tools with patch revision tracking, rebase detection and more. Uses python and git plumbing commands.
- code-review
- git
- github
- version-control
Review pull requests and manage issues across GitHub, GitLab, Bitbucket and Jira directly in Neovim.
recursion schemes for cats; to iterate is human, to recurse, divine
- scala
- recursion-schemes
- functional-programming
ggplot2 tech themes, scales, and geoms
Adium is an open source and free instant messaging application for macOS that can connect to XMPP (Jabber), IRC and more.
- adium
- macintosh-computers
- chat
- xmpp
The project demonstrates how you can develop applications with Jakarta EE using widely adopted architectural best practices like Domain-Driven Design (DDD).
- javaee
- jakartaee
- domain-driven-design
- ddd
Ecto PostgreSQL database performance insights. Locks, index usage, buffer cache hit ratios, vacuum stats and more.
Detect uses of legacy Java APIs
- java
- static-analysis
- maven-plugin
- guava
734 animated ASCII art pieces for web pages, READMEs, wallpapers and terminals. Browse them in your terminal with npx ascii-magic-art and add one to your project in one prompt.
- animation
- ascii
- ascii-art
- cli
This is a Pytorch implementation of the paper: Self-Supervised Graph Transformer on Large-Scale Molecular Data
Guide, reference and cheatsheet on web scraping using rvest, httr and Rselenium.
- rvest
- rselenium
- httr
- scrape-websites
Audion is a Chrome extension that adds a Web Audio panel to Developer Tools. This panel visualizes the web audio graph in real-time.
- web-audio
- chrome-extension
- developer-tools
Headers Only C++11 CPU Vector Graphics. no std-lib, no FPU and no GPU required !
⚓️ Anchr provides you with a toolbox for tiny tasks on the internet, especially bookmark collections
EFE Styling Toolkit based on Less
Property based Testing for Elixir (based upon PropEr)
- propcheck
- elixir
- property-based-testing
- proper
Write Through and Read Through caching library inspired by CacheMoney and cache_fu, support ActiveRecord 4, 5 and 6.
- rails5
- cache
- cache-money
- activerecord5
📖 Build a RESTful API on Go: Fiber, PostgreSQL, JWT and Swagger docs in isolated Docker containers.
Vod2Pod-RSS converts a YouTube or Twitch channel into a podcast with ease. It creates a podcast RSS that can be listened to directly inside any podcast client. VODs are transcoded to MP3 on the fly and no server storage is needed!
- podcast
- rss
- self-hosted
- twitch
A guide to EOS smart contract security best practices