python-coq-jupyter
|
1.6.0-2 |
0 |
0.00
|
Coq kernel for Jupyter |
dringsim
|
2023-09-10 03:13 (UTC) |
python-ckernel
|
0.3.1-1 |
0 |
0.00
|
IPython kernels for teaching and learning C/C++ in a Jupyter notebook, providing C/C++ syntax highlighting and a little more magic |
dringsim
|
2023-08-26 11:53 (UTC) |
python-agda-kernel
|
0.64-3 |
0 |
0.00
|
A rudimentary Jupyter kernel for Agda |
dringsim
|
2023-09-10 03:23 (UTC) |
pypy3-pythran
|
0.11.0-1 |
0 |
0.00
|
Ahead of Time compiler for numeric kernels |
orphan
|
2022-05-03 18:06 (UTC) |
powerpc64le-linux-gnu-linux-api-headers
|
5.1-1 |
0 |
0.00
|
Kernel headers sanitized for use in userspace (powerpc64le-linux-gnu) |
thrimbor
|
2019-06-30 16:46 (UTC) |
powerpc64-linux-gnu-linux-api-headers
|
6.4-1 |
0 |
0.00
|
Kernel headers sanitized for use in userspace (powerpc64-linux-gnu) |
ImperatorStorm
|
2023-08-01 02:09 (UTC) |
powerpc-linux-gnu-linux-api-headers
|
5.1-1 |
0 |
0.00
|
Kernel headers sanitized for use in userspace (powerpc-linux-gnu) |
orphan
|
2019-06-24 01:35 (UTC) |
plantuml-elk
|
0-1 |
0 |
0.00
|
Eclipse Layout Kernel for PlantUML - also see https://github.com/eclipse/elk |
xeruf
|
2022-09-02 11:45 (UTC) |
piuio-git
|
0.3.1.r0.gb8bdcb5-2 |
0 |
0.00
|
Kernel driver for the PIUIO arcade input device |
djpohly
|
2015-07-02 17:32 (UTC) |
piuio-dkms-git
|
1.0.r0.gc270904-1 |
0 |
0.00
|
Kernel driver for the PIUIO arcade input device (with DKMS) |
djpohly
|
2016-05-31 15:58 (UTC) |
piuio
|
1.0-1 |
0 |
0.00
|
Kernel driver for the PIUIO arcade input device |
djpohly
|
2016-05-31 16:09 (UTC) |
phc-intel-dkms-testing-git
|
0.4.0.rev47.r55.20231030.984446e-1 |
0 |
0.00
|
Frequency driver for Intel CPUs with undervolting feature. DKMS-based kernel module, testing branch, latest git checkout. |
orphan
|
2023-10-31 18:49 (UTC) |
phc-intel-dkms-stable-git
|
0.3.2.rev47.r55.20231030.984446e-1 |
0 |
0.00
|
Frequency driver for Intel CPUs with undervolting feature. DKMS-based kernel module, stable branch, latest git checkout. |
orphan
|
2023-10-31 18:49 (UTC) |
pg_stat_kcache-git
|
2.1.0.r1.g6bedab2-1 |
0 |
0.00
|
Get kernel statistics for sessions in PostgreSQL. Be able to measure the real hit ratio ! |
marco44
|
2021-01-26 08:17 (UTC) |
perle-serial
|
3.9.2.4-6 |
0 |
0.00
|
kernel module driver for Perle UltraPort SI Express PCI-RAS modem SPEED LE multi I/O serial parallel RS-232 422 485 port |
severach
|
2023-12-19 05:56 (UTC) |
perf-bfd
|
6.6-1 |
0 |
0.00
|
Linux kernel performance auditing tool (with bfd support) |
DarkShadow44
|
2023-12-15 16:28 (UTC) |
pat-dealloc-dkms
|
1.0.0-2 |
0 |
0.00
|
Kernel module to allow removal of x86 PAT entries from userspace |
thorou
|
2024-04-05 18:38 (UTC) |
pari-jupyter
|
1.4.1-1 |
0 |
0.00
|
Jupyter kernel for PARI |
orphan
|
2022-02-06 22:46 (UTC) |
ovpn-dco-dkms-git
|
0.20230327.r477.git961c60d-1 |
0 |
0.00
|
Optional Data Channel Offload kernel module for OpenVPN 3 |
SwooshyCueb
|
2023-04-06 00:22 (UTC) |
ovpn-dco-dkms
|
1:0.2.20231010-1 |
0 |
0.00
|
Optional Data Channel Offload kernel module for OpenVPN 3 |
SwooshyCueb
|
2023-11-08 01:15 (UTC) |
opengigabyte-driver-dkms
|
0.0.2-1 |
0 |
0.00
|
Kernel driver for Gigabyte devices (DKMS-variant) |
rcassani
|
2021-08-08 14:57 (UTC) |
opendpi-netfilter-git
|
r7.c0fb9c1-1 |
0 |
0.00
|
This package is a GPL implementation of an iptables and netfilter module for OpenDPI integration into the Linux kernel. |
Sinnamon
|
2015-08-25 19:50 (UTC) |
ocaml-textutils_kernel
|
0.16.0-1 |
0 |
0.00
|
The subset of ocaml-textutils using only core_kernel and working in javascript |
dpeukert
|
2024-01-27 23:14 (UTC) |
ocaml-core_unix
|
1:0.16.0-1 |
0 |
0.00
|
Unix-specific extensions to some of the modules defined in ocaml-core and ocaml-core_kernel |
dpeukert
|
2024-01-27 23:06 (UTC) |
ocaml-async_rpc_kernel
|
0.16.0-1 |
0 |
0.00
|
Platform-independent core of Async RPC library for OCaml |
dpeukert
|
2024-01-27 23:05 (UTC) |
ocaml-async_kernel
|
0.16.0-1 |
0 |
0.00
|
Monadic concurrency library for OCaml (core data structures) |
dpeukert
|
2024-01-27 23:05 (UTC) |
nvidia-open-tinygrad-dkms-git
|
550.76.r0.gea4c27fad-1 |
0 |
0.00
|
NVIDIA open GPU kernel modules (tinygrad git version) |
jennifer
|
2024-05-02 04:42 (UTC) |
nv-card-pm
|
0.2-1 |
0 |
0.00
|
A script to switch NVIDIA graphics card using kernel PM feature |
YiPrograms
|
2020-10-30 18:10 (UTC) |
nft-fullcone-dkms-git
|
r3.0d3e2be-1 |
0 |
0.00
|
nftables fullcone expression kernel module |
huyz
|
2022-09-30 10:49 (UTC) |
netcat-cpi-dkms-git
|
r86.c8798d6-2 |
0 |
0.00
|
netcats 'cycles per instruction' album as a dkms kernel module. |
ahmubashshir
|
2021-09-21 18:14 (UTC) |
nat46-dkms-git
|
r124.683fbd2-1 |
0 |
0.00
|
Linux kernel module implementing flexible NAT46 |
devplayer0
|
2018-07-29 10:35 (UTC) |
mxu11x0-dkms
|
5.14.6-1 |
0 |
0.00
|
Kernel module for Moxa UPort 11x0 serial to USB converters |
dteod
|
2021-09-21 20:43 (UTC) |
mtdev-git
|
1.1.6.r1.g2ed588e-1 |
0 |
0.00
|
A stand-alone library which transforms all variants of kernel MT events to the slotted type B protocol |
Chocobo1
|
2024-01-02 18:55 (UTC) |
mt7610u_wifi_sta-git
|
1-1 |
0 |
0.00
|
Kernel module for MediaTek MT7610U chipset featured in TP-Link Archer T2U and T2UH, TP-Link TL-WDN5200, ASUS USB-AC50, ASUS USB-AC51, Comcast Xfinity KXW02AAA, D-Link DWA-171 rev B1 and more |
BannedPatriot
|
2021-07-14 17:09 (UTC) |
moxa-uport16x0
|
1.2.13-7 |
0 |
0.00
|
kernel module driver for Moxa multi port USB serial 1250 1410 1450 1610 1650 RS-232 422 485 |
severach
|
2023-12-19 03:34 (UTC) |
moxa-mxu11x0
|
5.0-1 |
0 |
0.00
|
kernel module driver for Moxa UPort USB serial 1110 1130i 1150i RS-232 422 485 |
severach
|
2019-12-04 06:45 (UTC) |
moxa-mxser-mxupcie
|
1.16-3 |
0 |
0.00
|
kernel module driver for Moxa Smartio Industio MUE ISA PCIe UPCI PCI Express CP multi port serial RS-232 422 485 |
severach
|
2019-12-26 20:52 (UTC) |
motu
|
r23.g655c39e-1 |
0 |
0.00
|
Kernel module for MOTU MIDI devices |
grawlinson
|
2024-04-14 09:31 (UTC) |
motu-dkms
|
r23.g655c39e-1 |
0 |
0.00
|
Kernel module for MOTU MIDI devices |
grawlinson
|
2024-04-14 09:31 (UTC) |
modutils
|
2.4.27-3 |
0 |
0.00
|
Work with the Linux kernel modules |
beroal
|
2016-03-17 08:06 (UTC) |
modtree
|
1-1 |
0 |
0.00
|
Tree based kernel module dependency viewer |
Gondolin
|
2017-04-06 14:28 (UTC) |
mkunified-git
|
0.r5.g1a5763a-2 |
0 |
0.00
|
Unified kernel image generation utility which supports initrd generation using mkinitcpio |
orphan
|
2021-06-28 17:31 (UTC) |
mkuki
|
0.1.0-2 |
0 |
0.00
|
Build and sign a Unified Kernel Image |
foxite
|
2022-02-22 11:11 (UTC) |
mkinitcpio-mlx5
|
1.0.0-1 |
0 |
0.00
|
Archlinux mkinitcpio hook to pack mlx5_core kernel module |
XDjackieXD
|
2024-01-11 00:54 (UTC) |
mixbench-cuda-git
|
0.193.v0.03.8.gbab3fb7-1 |
0 |
0.00
|
GPU benchmark tool for evaluating GPUs on mixed operational intensity kernels (CUDA implementation) |
orphan
|
2020-11-23 20:24 (UTC) |
mipsr5900el-unknown-linux-gnu-linux-api-headers
|
5.4-2 |
0 |
0.00
|
Kernel headers sanitized for use in userspace (mipsr5900el-unknown-linux-gnu) |
timschumi
|
2020-10-19 18:00 (UTC) |
mips64el-linux-gnu-linux-api-headers
|
5.19.2-1 |
0 |
0.00
|
Kernel headers sanitized for use in userspace (MIPS64EL target, for the toolchain with GNU C library and multilib ABI) |
dbermond
|
2022-08-20 03:01 (UTC) |
mips-2011-mips-linux-gnu
|
2011.03-1 |
0 |
0.00
|
Sourcery G++ Lite 2011.03-95 for MIPS (target) GNU/Linux(target-kernel) |
robertfoster
|
2017-11-18 19:41 (UTC) |
miopengemm
|
5.5.1-1 |
0 |
0.00
|
An OpenCL GEMM kernel generator |
tpkessler
|
2023-07-08 21:13 (UTC) |
mi-air-wmi-dkms-git
|
1.0.0-2 |
0 |
0.00
|
Kernel module enables additional hotkeys on Xiaomi Mi Air laptops |
mikalair
|
2020-08-22 10:33 (UTC) |