#
Starred repositories
DuckDB is an analytical in-process SQL database management system
This is the source code to the Microsoft Open Source site featuring projects, program information, and "get involved" pages. This site is published at opensource.microsoft.com and managed by the Mi…
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
A LaTeX class and package is provided which allows LaTeX diagrams or other LaTeX code to be compiled standalone or as part of a main document. Special support for pictures with beamer overlays is a…
PostCSS plugin to unwrap nested rules like how Sass does it.
Material Design icons by Google (Material Symbols)
It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.
A simple to use plugin to add custom animations, based on the Web Animation API, to your presentations.
Integration of the animation library animate.css to reveal.js
An animation plugin for Reveal.js that animates elements sequentially like in Powerpoint. Perfect for online portfolios or other presentations with images.
Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support
OpenGrok is a fast and usable source code search and cross reference engine, written in Java
Package manager based on libdnf and libsolv. Replaces YUM.
Integrates ShellCheck into VS Code, a linter for Shell scripts.
Personal CRM. Remember everything about your friends, family and business relationships.
A plugin for Flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodestyle.
Vagrant is a tool for building and distributing development environments.
flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
Docker Official Image packaging for Docker