38,715 packages · page 21 of 388
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
SQLFluff extension for coc.nvim |
0.11.4 |
0 | 6 | 1 | 1 | unmaintained | ||
Stylelint extension for coc.nvim |
1.2.0 |
0 | 6 | 1 | 1 | unmaintained | ||
TexLab extension for coc.nvim |
0-unstable-2026-07-27 |
0 | 6 | 1 | 1 | unmaintained | ||
vim-language-server extension for coc.nvim |
0.8.0-unstable-2023-06-26 |
0 | 6 | 1 | 1 | unmaintained | ||
VimTeX extension for coc.nvim |
1.1.5 |
0 | 5 | 1 | 1 | unmaintained | ||
Wxml extension for coc.nvim |
1.0.9 |
0 | 6 | 1 | 1 | unmaintained | ||
Yaml language server extension for coc.nvim |
1.9.1 |
0 | 7 | 1 | 1 | unmaintained | ||
Yank highlight and persist yank history support for vim |
1.2.5 |
0 | 5 | 1 | 1 | unmaintained | ||
Convert any Visual Studio Code Theme to Sublime Text 3 or IntelliJ IDEA |
1.2.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Open source, cross platform, free C, C++ and Fortran IDE |
25.03 |
0 | 9 | 0 | 0 | unmaintained | ||
Open source, cross platform, free C, C++ and Fortran IDE |
25.03 |
0 | 11 | 0 | 0 | unmaintained | ||
Live code in Pandoc Markdown.
Codebraid is a Python program that enables executable code in Pandoc
Markdown documents. Using Codebraid can be as simple as adding a class to
your code blocks' attributes, and then running codebraid rather than
pandoc to convert your document from Markdown to another format.
codebraid supports almost all of pandoc's options and passes them to
pandoc internally.
Codebraid provides two options for executing code. It includes a built-in
code execution system that currently supports Python 3.5+, Julia, Rust,
R, Bash, and JavaScript. Code can also be executed using Jupyter kernels,
with support for rich output like plots.
|
0.11.0 |
0 | 16 | 0 | 0 | unmaintained | ||
Modular audio codec server |
0.2.0 |
0 | 6 | 4 | 4 | unmaintained | ||
Create a video of how a git repository's code changes over time |
0-unstable-2023-08-08 |
0 | 10 | 0 | 0 | unmaintained | ||
Tool to take all source code in a folder and render them to one image |
0.8.4 |
0 | 7 | 0 | 0 | unmaintained | ||
High-performance, zero-overhead, extensible Python compiler using LLVM |
0.16.1 → 0.20.3 |
0 | 8 | 0 | 0 | unmaintained broken unfree outdated | ||
Small open source library for using 3D graphics hardware for rendering |
1.22.8 |
0 | 19 | 5 | 22 | unmaintained | ||
High-level, retained-mode toolkit for effective 3D graphics development |
4.0.10 |
0 | 8 | 6 | 6 | unmaintained | ||
Command line interface for Amazon EBS snapshots |
0.12.0 |
0 | 7 | 0 | 0 | unmaintained | ||
Virtual machine for Collapse OS (Forth operating system) |
20220316 |
0 | 3 | 0 | 0 | unmaintained | ||
Real-time strategy game with programmable bots |
0.2.2-alpha → 0.2.2 |
0 | 18 | 0 | 0 | unmaintained outdated | ||
Placement library for electronic circuits |
0.4.3 |
0 | 6 | 0 | 0 | unmaintained | ||
Simple wrapper around make to colorize the output |
2.1.0 |
0 | 3 | 0 | 0 | unmaintained | ||
Casual type face: Make your lemonade stand look like a fortune 500 company |
2.51 |
0 | 3 | 2 | 118 | unmaintained | ||
Lint your commit messages |
21.0.0 → 21.2.3 |
0 | 6 | 0 | 0 | unmaintained outdated | ||
| 0 | 13 | 0 | 0 | unmaintained | ||||
Gives users a convenient way to analyze, create, and manipulate (binary) Java class files |
6.12.0 |
0 | 2 | 0 | 0 | unmaintained | ||
Interface to scripting languages, including JSR-223 |
2.4.0 |
0 | 2 | 0 | 0 | unmaintained | ||
Allows manipulation of ar, cpio, Unix dump, tar, zip, gzip, XZ, Pack200, bzip2, 7z, arj, lzma, snappy, DEFLATE and Z files |
1.28.0 |
0 | 2 | 0 | 0 | unmaintained | ||
Makes it easy to add robust, high-performance, file upload capability to your servlets and web applications |
1.5 |
0 | 2 | 0 | 0 | unmaintained | ||
Library of utilities to assist with developing IO functionality |
2.22.0 |
0 | 2 | 0 | 0 | unmaintained | ||
Provides additional methods to manipulate standard Java library classes |
3.20.0 → 3.21.0 |
0 | 2 | 0 | 0 | unmaintained outdated | ||
Wrapper around a variety of logging API implementations |
1.4.0 |
0 | 2 | 0 | 0 | unmaintained | ||
Library of lightweight, self-contained mathematics and statistics components |
3.6.1 |
0 | 2 | 0 | 0 | unmaintained | ||
Simple and elegant cross-platform IRC client |
3.6.0 |
0 | 6 | 0 | 0 | unmaintained | ||
Very simple compile daemon for Go |
1.4.0 |
0 | 3 | 0 | 0 | unmaintained | ||
C code complexity measurement tool |
1.10 → 1.13 |
0 | 3 | 0 | 0 | unmaintained outdated | ||
Decentralized and portable C/C++ package manager |
2.32.0 → 2.33.0 |
0 | 40 | 0 | 0 | unmaintained outdated | ||
Offline conference schedule viewer |
0.7.2 |
0 | 5 | 0 | 0 | unmaintained | ||
Cloud native networking and network security |
3.32.1 |
0 | 3 | 0 | 0 | unmaintained | ||
Confetti in your TTY |
0-unstable-2022-11-05 |
0 | 3 | 0 | 0 | unmaintained | ||
Configurable-on-the-fly HTTP Proxy |
4.5.6 |
0 | 7 | 2 | 14 | unmaintained | ||
Daemon for managing internet connections |
1.43 → 2.0 |
0 | 17 | 2 | 2 | unmaintained outdated | ||
Daemon for managing internet connections |
1.43 → 2.0 |
0 | 17 | 0 | 0 | unmaintained outdated | ||
Daemon for managing internet connections |
1.43 → 2.0 |
0 | 11 | 0 | 0 | unmaintained outdated | ||
Masses and springs simulation game |
0.2.3 |
0 | 8 | 0 | 0 | unmaintained | ||
Masses and springs simulation game |
0.2.3 |
0 | 5 | 0 | 0 | unmaintained | ||
Container to WASM converter |
0.8.4 |
0 | 3 | 0 | 0 | unmaintained | ||
Converts files to other formats |
5.1 |
0 | 2 | 0 | 0 | unmaintained | ||
Generate a CHANGELOG from git metadata |
8.1.3 |
0 | 7 | 0 | 0 | unmaintained | ||
Batch image converter and resizer |
0.15.2.8 → 0.15.2.9 |
0 | 8 | 0 | 0 | unmaintained outdated | ||
Tool for converting Microsoft Reader ebooks to more open formats |
1.8 |
0 | 3 | 0 | 0 | unmaintained | ||
Converts font for use with FontLibC |
1.2 |
0 | 2 | 0 | 0 | unmaintained | ||
Image palette quantization |
10.3 |
0 | 2 | 0 | 0 | unmaintained broken | ||
Terminal emulator which mimics the old cathode display |
1.2.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Cross platform open source e-book reader |
3.2.59 |
0 | 9 | 0 | 0 | unmaintained | ||
1.6.0 |
0 | 4 | 0 | 0 | unmaintained | |||
20230107 |
0 | 5 | 0 | 0 | unmaintained | |||
20230107 |
0 | 5 | 0 | 0 | unmaintained | |||
20230107 |
0 | 5 | 1 | 1 | unmaintained | |||
Verified Software Toolchain |
2.17 |
0 | 6 | 0 | 0 | unmaintained | ||
9.0.0+rocq9.1 |
0 | 5 | 8 | 9 | unmaintained | |||
CoqEAL - The Coq Effective Algebra Library |
2.1.2 |
0 | 8 | 1 | 1 | unmaintained | ||
From JSON to Coq, and vice versa |
0.2.0 |
0 | 7 | 0 | 0 | unmaintained | ||
ValidSDP |
1.1.1 |
0 | 10 | 1 | 1 | unmaintained | ||
Small library to do epsilon - N reasonning |
1.0.4 |
0 | 5 | 4 | 9 | unmaintained | ||
Finset and finmap library |
2.2.2 |
0 | 5 | 3 | 13 | unmaintained | ||
Coq formalization of information theory and linear error-correcting codes |
0.9.7 |
0 | 7 | 0 | 0 | unmaintained | ||
Mathematical Components Library on real closed fields |
2.0.5 |
0 | 6 | 2 | 7 | unmaintained | ||
Proofs of Tarjan and Kosaraju connected components algorithms |
1.0.5 |
0 | 6 | 0 | 0 | unmaintained | ||
Plugin for (semi)decision procedures for arithmetic. |
1.1.1 |
0 | 5 | 0 | 0 | unmaintained | ||
Typed tactic language for Coq |
1.4-rocq9.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Coq/SSReflect Library for Monoidal Rings and Multinomials |
2.4.0 |
0 | 9 | 2 | 2 | unmaintained | ||
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography |
0.0.15 |
0 | 5 | 0 | 0 | unmaintained | ||
Rocq Proof Assistant -- Standard Library |
9.0.0 |
0 | 4 | 47 | 74 | unmaintained | ||
Enhanced unification algorithm for Coq |
1.6-9.1 |
0 | 4 | 1 | 1 | unmaintained | ||
ValidSDP |
1.1.1 |
0 | 12 | 0 | 0 | unmaintained | ||
Microsoft's TrueType core fonts for the Web |
1 |
0 | 4 | 0 | 0 | unmaintained unfree | ||
Tool for tunneling SSH through HTTP proxies |
2.0 |
0 | 3 | 0 | 0 | unmaintained | ||
Database that uses JSON for documents, JavaScript for MapReduce queries, and regular HTTP for an API |
3.5.2 |
0 | 5 | 0 | 0 | unmaintained | ||
Courier Unicode Library is used by most other Courier packages |
2.6.0 |
0 | 3 | 1 | 1 | unmaintained | ||
EEPROM tool for Silabs CP210x USB-Serial adapter |
0.4.1 |
0 | 17 | 0 | 0 | unmaintained | ||
Manipulating CPC dsk images and files |
0.85.4 |
0 | 6 | 0 | 0 | unmaintained | ||
Program to create or extract from cpio archives |
2.15 |
0 | 4 | 61 | 24,209 | unmaintained | ||
IPFS C++ API client library |
0-unstable-2023-06-04 |
0 | 5 | 0 | 0 | unmaintained | ||
Static code checker for C++ |
2.0.2 |
0 | 21 | 0 | 0 | unmaintained | ||
C++ unit testing framework |
1.15.1 |
0 | 2 | 36 | 236 | unmaintained | ||
Tool to generate C function prototypes from C source code |
4.8 → 4.8a |
0 | 4 | 0 | 0 | unmaintained outdated | ||
Tools to display or change the CPU governor settings |
008 |
0 | 4 | 0 | 0 | unmaintained | ||
CPU usage monitoring tool |
0.03.00 |
0 | 3 | 0 | 0 | unmaintained | ||
Clojure Query: A Command-line Data Processor for JSON, YAML, EDN, XML and more |
2026.01.09-17.19 |
0 | 5 | 0 | 0 | unmaintained | ||
Password checking library |
2.10.3 |
0 | 5 | 22 | 4,270 | unmaintained | ||
Used to break the encryption on old Microsoft Excel and Microsoft Word files |
1.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Swap endianness of a cram filesystem (cramfs) |
1.4.2 → 1.4.5 |
0 | 3 | 0 | 0 | unmaintained outdated | ||
Open-source, single-player, role-playing roguelike game |
0.34.1 |
0 | 12 | 0 | 0 | unmaintained | ||
Open-source, single-player, role-playing roguelike game |
0.34.1 |
0 | 20 | 0 | 0 | unmaintained | ||
Easy to use and fast C++ CRC library |
1.2.1.0 → 1.2.3.0 |
0 | 3 | 0 | 0 | unmaintained outdated | ||
Generate typed CustomResources from a Kubernetes CustomResourceDefinition |
1.6.2 |
0 | 3 | 0 | 0 | unmaintained | ||
C Wrapper for RE2 |
0.3.6 |
0 | 7 | 0 | 0 | unmaintained | ||
C implementation of createrepo |
1.2.4 |
0 | 20 | 1 | 1 | unmaintained |