ocaml-psmt2-frontend-git
|
r22.bb35b53-1 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2020-05-18 19:29 (UTC) |
ocaml-psmt2-frontend
|
0.2-2 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2019-11-30 18:52 (UTC) |
ocaml-ppx_tools_versioned
|
5.4.0-5 |
0 |
0.00
|
Tools for authors of ppx rewriters and other syntactic tools (with ocaml-migrate-parsetree support) |
orphan
|
2022-06-14 18:43 (UTC) |
ocaml-core_extended
|
1:0.15.0-2 |
0 |
0.00
|
Extra components that are not as closely vetted or as stable as Core |
orphan
|
2022-10-03 21:38 (UTC) |
noter
|
0.3.alpha-1 |
0 |
0.00
|
Simple Serial Port Terminal. It allows communication with serial ports, and some hex to text and text to hex utilities |
orphan
|
2020-07-07 23:25 (UTC) |
notepas-gtk2-bin
|
0.9.14-1 |
0 |
0.00
|
A portable multi-platform text editor |
orphan
|
2020-07-04 11:11 (UTC) |
nordnm-git
|
0.7.1.r29.g6f77aff-1 |
0 |
0.00
|
A CLI tool for automating the importing, securing and usage of NordVPN OpenVPN servers through NetworkManager. |
orphan
|
2020-03-08 15:06 (UTC) |
nordnm
|
0.8.1-1 |
21 |
0.00
|
A CLI tool for automating the importing, securing and usage of NordVPN OpenVPN servers through NetworkManager. |
orphan
|
2020-03-18 11:14 (UTC) |
non-timeline
|
1.3.0-5 |
0 |
0.00
|
A powerful, reliable and fast modular Digital Audio Timeline arranger |
orphan
|
2024-03-20 14:00 (UTC) |
non-sequencer
|
1.10.0-3 |
0 |
0.00
|
A powerful, lightweight, real-time, pattern-based MIDI sequencer |
orphan
|
2024-03-20 14:03 (UTC) |
non-mixer
|
1.3.0-5 |
0 |
0.00
|
A powerful, reliable and fast modular Digital Audio Mixer |
orphan
|
2024-03-20 14:00 (UTC) |
nominatim-data-postcodes-us
|
20190722-2 |
0 |
0.00
|
Optional postcode (US) data to use with nominatim |
orphan
|
2020-02-10 11:07 (UTC) |
nominatim-data-postcodes-gb
|
20200805-1 |
0 |
0.00
|
Optional postcode (GB) data to use with nominatim |
orphan
|
2020-11-04 08:12 (UTC) |
nodejs-supports-color
|
7.2.0-2 |
0 |
0.00
|
Detect whether a terminal supports color. |
orphan
|
2020-11-13 11:47 (UTC) |
nodejs-mathjs
|
3.13.3-1 |
1 |
0.00
|
An extensive math library for JS which also includes a powerful CLI interface |
orphan
|
2017-06-05 04:30 (UTC) |
nodejs-is-fullwidth-code-point
|
3.0.0-1 |
0 |
0.00
|
Check if the character represented by a given Unicode code point is fullwidth |
orphan
|
2020-11-13 11:05 (UTC) |
nodejs-hackmyresume
|
1.9.0_beta-1 |
4 |
0.00
|
Generate polished résumés and CVs in HTML, Markdown, LaTeX, MS Word, PDF, plain text, JSON, XML, YAML, smoke signal, and carrier pigeon. |
orphan
|
2019-12-17 23:19 (UTC) |
nodejs-emoji-regex
|
9.2.0-1 |
0 |
0.00
|
Align-text with ANSI support for CLIs. |
orphan
|
2020-11-13 11:00 (UTC) |
nnn-icons
|
4.9-2 |
5 |
0.37
|
The fastest terminal file manager ever written. (with icon support) |
orphan
|
2023-09-14 13:11 (UTC) |
nini
|
1.1.0-6 |
0 |
0.00
|
An uncommonly powerful .NET configuration library designed to help build highly configurable applications quickly |
orphan
|
2019-03-27 16:36 (UTC) |
nifi
|
1.11.4-1 |
0 |
0.00
|
An easy to use, powerful, and reliable system to process and distribute data. |
orphan
|
2020-05-23 17:32 (UTC) |
ngsolve-git
|
v6.2.1706.5.geee9d5a7-1 |
4 |
0.00
|
A general purpose Finite Element Library on top of Netgen. |
orphan
|
2017-10-04 07:27 (UTC) |
nginx-mainline-boringssl
|
1.21.3-1 |
2 |
0.00
|
Lightweight HTTP server and IMAP/POP3 proxy server, mainline release |
orphan
|
2021-09-14 07:32 (UTC) |
newlisp-devel
|
10.7.6-7 |
0 |
0.00
|
A LISP like, general purpose scripting language. Ongoing development version. |
orphan
|
2022-01-22 11:22 (UTC) |
newlisp
|
10.7.5-1 |
25 |
0.00
|
A LISP like, general purpose scripting language. |
orphan
|
2019-08-04 03:14 (UTC) |
networkmanager-ssh-git
|
r270.d7996e7-4 |
17 |
0.02
|
OpenSSH VPN tunneling support for NetworkManager - git version, gtk4 port |
orphan
|
2023-11-16 14:28 (UTC) |
networkmanager-openconnect-useragent-git
|
1.0-1.0 |
1 |
0.00
|
NetworkManager VPN plugin for OpenConnect with support for custom useragent |
orphan
|
2022-08-06 19:07 (UTC) |
netrw-bin
|
1.3.2-3 |
1 |
0.00
|
Simple tool for transporting data without a server. |
orphan
|
2019-06-22 09:26 (UTC) |
netplug
|
1.2.9.2-4 |
1 |
0.00
|
A Linux daemon that manages network interfaces in response to network cables being plugged in and out |
orphan
|
2021-11-03 10:41 (UTC) |
netdata-git
|
v1.40.0.r101.g9a5a59885-1 |
13 |
0.10
|
Real-time performance monitoring, in the greatest possible detail, over the web |
orphan
|
2023-07-07 10:35 (UTC) |
netclient-bin
|
0.21.1-1 |
2 |
0.02
|
A component of netmaker |
orphan
|
2023-10-24 08:50 (UTC) |
netbsd-curses
|
0.3.2-1 |
0 |
0.00
|
Port of NetBSD's curses library for usage on all POSIX systems |
orphan
|
2021-08-30 23:19 (UTC) |
ness-stretch-git
|
r178.e64eb33-1 |
0 |
0.00
|
Implements a phase randomized Real FFT time stretch algorithm, the NessStretch, which splits the original sound file into 9 discrete frequency bands, and uses a decreasing frame size to correspond to increasing frequency. |
orphan
|
2021-08-06 11:07 (UTC) |
neovim-twilight-git
|
r17.8ab43c0-1 |
0 |
0.00
|
Dims inactive portions of code during editing |
orphan
|
2022-01-06 15:33 (UTC) |
neovim-substrata-git
|
r40.e1362be-1 |
0 |
0.00
|
Cold, dark theme ported to Lua |
orphan
|
2022-01-06 20:26 (UTC) |
neovim-popup-git
|
r15.5e3bece-2 |
0 |
0.00
|
A WIP implementation of the Popup API from Vim in Neovim |
orphan
|
2021-07-02 18:30 (UTC) |
neovim-nui-git
|
r84.69dfae4-1 |
0 |
0.00
|
UI component library for Neovim |
orphan
|
2021-10-23 21:34 (UTC) |
neovim-noice-git
|
1.8.0.r1.g20f47dc-1 |
0 |
0.00
|
Highly experimental plugin that completely replaces the UI for messages, cmdline and the popupmenu. |
orphan
|
2023-01-27 21:24 (UTC) |
neovim-moonlight-git
|
r164.e24e421-2 |
0 |
0.00
|
A Lua port of VSCode's Moonlight colorscheme with builtin support for other plugins |
orphan
|
2021-07-03 01:38 (UTC) |
neovim-lsp-status-git
|
r71.e8e5303-1 |
0 |
0.00
|
Utility functions for generating statusline components |
orphan
|
2021-10-17 22:34 (UTC) |
neovim-hop-git
|
r153.9c849da-1 |
0 |
0.00
|
A plugin that lets you jump anywhere in a document with as few keystrokes as possible |
orphan
|
2021-08-22 23:52 (UTC) |
neovim-gps-git
|
r27.cffae25-1 |
0 |
0.00
|
A simple statusline component that shows context of the current cursor position in file |
orphan
|
2021-08-23 04:08 (UTC) |
neovim-deus-git
|
r8.04761b9-1 |
0 |
0.00
|
A better color scheme for the late night coder -- Neovim port with treesitter support |
orphan
|
2021-07-04 19:11 (UTC) |
neovim-deoplete-git
|
6.1.r13.g18788fc-1 |
0 |
0.00
|
Dark powered asynchronous completion framework |
orphan
|
2021-10-17 07:47 (UTC) |
neovim-deoplete
|
6.1-1 |
2 |
0.00
|
Dark powered asynchronous completion framework |
orphan
|
2021-10-17 07:39 (UTC) |
neovim-ddc-git
|
0.17.0.r22.gb787b80-1 |
0 |
0.00
|
Dark deno-powered completion framework |
orphan
|
2021-10-17 15:39 (UTC) |
neovim-ddc
|
0.17.0-1 |
0 |
0.00
|
Dark deno-powered completion framework |
orphan
|
2021-10-17 08:12 (UTC) |
neovim-code-minimap-git
|
r146.45a8eab-1 |
1 |
0.00
|
Blazing fast minimap for Vim, powered by code-minimap |
orphan
|
2021-08-29 01:34 (UTC) |
necpp-git
|
45.30ffb88-1 |
6 |
0.00
|
Free NEC-2 compatable electromagnetic code. It can both read nec2 antenna description files and also be incorporated into other projects like GUI tools and automatic antenna optimization systems. |
orphan
|
2015-08-09 03:41 (UTC) |
ncmdump-go
|
0.2.0-1 |
1 |
0.00
|
netease cloud music copyright protection file dump, go port |
orphan
|
2019-04-01 07:11 (UTC) |