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-ppxfind
|
1.4-7 |
0 |
0.00
|
Tool combining ocamlfind and ppx |
orphan
|
2022-06-14 18:38 (UTC) |
ocaml-objsize
|
0.18-1 |
0 |
0.00
|
A small OCaml library for computing size of OCaml values. |
orphan
|
2021-05-10 20:37 (UTC) |
ocaml-lsp-git
|
r484.d57bd91-1 |
0 |
0.00
|
OCaml Language Server Protocol implementation |
orphan
|
2020-03-22 07:38 (UTC) |
ocaml-gsl
|
1.24.3-1 |
0 |
0.00
|
Objective Caml libs for gsl |
orphan
|
2021-11-02 01:21 (UTC) |
ocaml-expat
|
0.9.1-1 |
0 |
0.00
|
An ocaml wrapper for the Expat XML parsing library |
orphan
|
2019-06-16 11:15 (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) |
ocaml-core_bench
|
1:0.15.0-1 |
0 |
0.00
|
A micro-benchmarking library for ocaml |
orphan
|
2022-10-03 21:46 (UTC) |
ocaml-cinaps
|
0.15.1-3 |
0 |
0.00
|
Trivial Metaprogramming tool using the OCaml toplevel |
orphan
|
2022-06-14 18:31 (UTC) |
ocaml-cil-git
|
r4768.673aa00b-1 |
0 |
0.00
|
C Intermediate Language CIL is a front-end for the C programming language that facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. |
orphan
|
2022-11-04 16:11 (UTC) |
ocaml-charinfo_width
|
1.1.0-8 |
0 |
0.00
|
Determine column width for a character |
orphan
|
2022-06-14 18:30 (UTC) |
obliviate-git
|
r108.6936a6c-1 |
0 |
0.00
|
A password manager that forgets your passwords |
orphan
|
2021-12-11 19:29 (UTC) |
obliviate
|
2.1.0-1 |
0 |
0.00
|
A password manager that forgets your passwords |
orphan
|
2021-12-11 19:26 (UTC) |
oasis
|
2.17.0-2 |
0 |
0.00
|
Helps you follow friends and discover new ones on Secure Scuttlebutt (SSB). |
orphan
|
2021-03-09 19:59 (UTC) |
nyx-git
|
2.1.0+19+g58771d5-1 |
0 |
0.00
|
Command-line status monitor for tor |
orphan
|
2020-09-08 11:41 (UTC) |
nyble
|
0.5.0-3 |
0 |
0.00
|
A snake game for the terminal |
orphan
|
2022-06-28 04:25 (UTC) |
nyancoin-qt
|
1.3.2-3 |
0 |
0.00
|
NyanCoin Qt5 wallet |
orphan
|
2019-05-23 21:11 (UTC) |
nyancoin-daemon
|
1.3.2-1 |
0 |
0.00
|
NyanCoin daemon |
orphan
|
2019-04-18 21:10 (UTC) |
nyacc
|
1.05.1-1 |
0 |
0.00
|
Not Yet Another Compiler Compiler |
orphan
|
2023-03-26 13:31 (UTC) |
nvim-with-restricted-mode
|
0.5.1.r2.af6ee44-2 |
0 |
0.00
|
Neovim with restricted mode patch |
orphan
|
2021-10-15 01:59 (UTC) |
nvidia-430xx-settings
|
430.40-2 |
0 |
0.00
|
Tool for configuring the NVIDIA graphics driver, 430xx legacy branch |
orphan
|
2021-09-05 08:01 (UTC) |
libxnvctrl-430xx
|
430.40-2 |
0 |
0.00
|
NVIDIA NV-CONTROL X extension, 430xx legacy branch |
orphan
|
2021-09-05 08:01 (UTC) |
nvidia-430xx
|
430.40-1 |
0 |
0.00
|
NVIDIA drivers for linux, 430xx legacy branch |
orphan
|
2021-09-05 07:03 (UTC) |
nvidia-410xx-utils
|
410.93-1 |
0 |
0.00
|
NVIDIA drivers utilities |
orphan
|
2019-05-22 06:53 (UTC) |
opencl-nvidia-410xx
|
410.93-1 |
0 |
0.00
|
OpenCL implemention for NVIDIA |
orphan
|
2019-05-22 06:53 (UTC) |
nvfancontrol-git
|
0.3.r45.g0ba7ba3-1 |
0 |
0.00
|
NVidia dynamic fan control |
orphan
|
2020-06-09 03:55 (UTC) |
nuklear-git
|
r1857.4a74982-1 |
0 |
0.00
|
A header-only, immediate-mode GUI toolkit written in ANSI C |
orphan
|
2021-01-04 19:58 (UTC) |
nucleon-git
|
r13.48750fe-2 |
0 |
0.00
|
Dynamic load balancer written in Rust |
orphan
|
2020-06-20 16:05 (UTC) |
nscript-git
|
20100904-2 |
0 |
0.00
|
A simple stack-based scripting language. |
orphan
|
2023-06-26 21:33 (UTC) |
nrm-git
|
1.2.2_b3ba7aa-1 |
0 |
0.00
|
NPM registry manager, fast switch between different registries: npm, cnpm, nj, taobao |
orphan
|
2021-05-21 07:30 (UTC) |
npm-fzf
|
1.1.6-2 |
0 |
0.00
|
Fuzzy search npm modules with fzf |
orphan
|
2021-03-27 09:35 (UTC) |
npd6-git
|
r130.ad66f24-1 |
0 |
0.00
|
A Linux daemon to provide a proxy service for IPv6 Neighbor Solcitations received by a gateway routing device. |
orphan
|
2015-06-23 03:28 (UTC) |
noverify
|
0.5.3-1 |
0 |
0.00
|
PHP code linter |
orphan
|
2022-06-23 14:52 (UTC) |
notparadoxlauncher-bin
|
1.3.1-1 |
0 |
0.00
|
Alternative for Paradox Launcher; binary package avoiding large Lazarus download |
orphan
|
2021-06-03 11:39 (UTC) |
noto-fonts-emoji-flag-git
|
2.038.r9.g412b9edf8+1.2.1.r5.g8aa5413-1 |
0 |
0.00
|
Google Noto emoji fonts + missing subregion flags |
orphan
|
2022-12-08 19:01 (UTC) |
noto-fonts-config-files
|
20221222-1 |
0 |
0.00
|
Google Noto fonts config files |
orphan
|
2022-12-22 02:11 (UTC) |
notion2pandoc
|
0.5.1-1 |
0 |
0.00
|
Notion page -> Pandoc AST |
orphan
|
2023-03-15 16:13 (UTC) |
notify-sharp-3
|
3.0.3-4 |
0 |
0.00
|
C# D-Bus client library for desktop notifications (GTK+ 3 version) |
orphan
|
2024-03-20 14:40 (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) |
not-perf-git
|
0.1.0.310-1 |
0 |
0.00
|
A sampling CPU profiler for Linux |
orphan
|
2019-11-15 18:03 (UTC) |
noseyparker-git
|
r17.9438ab2-1 |
0 |
0.00
|
find secrets and sensitive information in textual data and Git history |
orphan
|
2022-12-22 08:27 (UTC) |
nordvpn-s6
|
20201020-1 |
0 |
0.00
|
s6 service scripts for nordvpn-bin |
orphan
|
2020-10-20 06:01 (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) |
nordic-wallpapers-git
|
r50.700ec61-1 |
0 |
0.00
|
Wallpaper collection using the Nord color palette |
orphan
|
2021-12-20 20:49 (UTC) |
nordic-kde-transparency-git
|
1.9.0.r129.g6ce5346-1 |
0 |
0.00
|
Theme for KDE Plasma 5 using the awesome Nord color pallete and transparency |
orphan
|
2022-03-02 10:01 (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) |