Search Results for "kernel"
Sort By:
Showing 25 open source projects for "kernel"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Cloud tools for web scraping and data extractionAutomate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
-
1
IPython Kernel for Jupyter
IPython Kernel for Jupyter
This package provides the IPython kernel for Jupyter. IPython provides a rich toolkit to help you make the most of using Python interactively. -
2
Coq Jupyter
Jupyter kernel for Coq
Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases. -
3
CachyOS
Blazingly Fast & Customizable Linux distribution
CachyOS - Arch Linux Based Distribution With Heavy Optimizations & Multi-Architectures For Ultimate Desktop Experience Filesystems: - btrfs - zfs - ext4 - xfs - f2fs Our installer will auto detect which micro architecture your machine got, if x86-64-v3 or x86-64-v4 is detected it will automatically use the optimized packages, which is around a 10 % performance improvement. Desktop Environments: - KDE - CuteFish - i3 - Gnome - Openbox - Wayfire - Xfce - LXQT -... -
4
SelikUP
Linux Kernel Updater
This program helps you update your Linux distribution's Linux kernel by downloading the kernel from the KERNEL main repository. -
G-P - Global EOR SolutionWith G-P's industry-leading Employer of Record (EOR) and Contractor solutions, you can hire, onboard and manage teams in 180+ countries — quickly and compliantly — without setting up entities.
-
5
Nebula Kernel
Nebula Kernel, My Personal Custom Kernel geared towards Performance.
High Performance Kernel that also maintains stability and battery drain to a min. -
6
virgo
32 bit VIRGO Linux Kernel
Linux kernel fork-off with cloud and machine learning features -
7
Debian Unstable/testing alpha.
Pre-Alpha Console distro for high performance Linux computing.
...Final alpha release features: ======== * Usb image * General debian repos * VM optimizations * Hugepages by default * CGROUPs optimized by default * ALSA * Latest Debugging / Baremetal kernels * Full Haswell and MIC support in test * Full optimized python support * Full optimized perl support * Java compliance * IPv6 full stack with IPsets * Multipath storage * Overclocking tools * Student/Developer scripts. (git pull, builders) * i915 latest support drivers and gallium. * Kernel patching, testing featurettes * Wi-Fi and bluetooth ipv4 support * Latest GCC versions * Qt, Java, Maven, Desktop improvements Notes ==== Basic Console Pre-alpha build Test and rate for improvemen -
8
KMG Kernel Module Configurator
A minimal python GUI that helps to manage modules in a linux system.
KMG helps you to manage: activation/disactivation of modules startup list blacklist and it has an unique feature: it can save a snapshot of the system's modules configuration and restore it later. All the actions are traced in a dedicated log section. The GUI also gives details on the selected module. -
9
ubnhd2
A native, dual-bootable ubuntu for the HTC™ HD2 Phone (qsd8250 SoC)
ubnhd2 is a security and pentest focused ubuntu/debian system that runs natively on the HTC HD2 phone. To boot this you need the Magldr on your phone and the first FAT partition should be named "SD". The wifi drivers are not included check the Ubuntu HTC HD2 Section from forum.xda-developers.com/showthread.php?t=1975081 for more details. -
AestheticsPro Medical Spa SoftwareAestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
-
10
Solarstorm
A rethinking of the Operating System Ecosystem.
This is the fifth or sixth generation of this idea, the big difference being that we have written some bootloader code and have started mapping out the kernel layout and structure. We have decided upon a core programming language for the kernel, and the core language for almost everything else. With a focus on isolating the MAJOR kernel features from the system itself, in what until now has remained research only instances, we hope to create a fully functioning exokerne. All code at this time will be available only via a git repository. -
11
Entirely source-based system. The goal is to provide extremely flexible but easy-to-compile Linux-like OS ready for SSI clusters. Installation procedure is network-independent and automated.
-
12
Netconsole2Mail is simple python based daemon that receives netconsole messages from kernel on configured hosts and sends them to administrator in configured pooling interval. Only new messages are sent.
-
13
vesper(Virtual Embraced Space ProbER) offers framework to monitor status of guests on various virtual machine environments, by injecting kernel modules from host to other guest domains.
-
14
-
15
DefconfigManager is too to generate consistent Linux Kernel defconfig for different architectures and machines. It is based Kconfiglib, Python library to parse Kconfig's and defconfigs.
-
16
This program has been forked and Autokernel has been abandoned. Please check out KernelCheck: http://kcheck.sourceforge.net/ Autokernel, a program that automatically recompiles and optimizes the kernel to your needs.
-
17
Shadow-sources is a Linux Kernel Patchset that is designed to be stable, include fixes and performace enhancing patches, and is designed to be modular allowing others to easily include or subtract patches, while keeping focus on Server stability.
-
18
Development area for GNU/Linux 2.6.x for the KS8695 ARM SoC. Covers kernel patches, drivers for serial, Ethernet, PCI, GPIO, watchdog subsystems, and drivers for optional PCI based devices such as USB, WiFi, WiMAX, IPSec, SSL, and RSA devices.
-
19
An experiment in finding kernel errors. There are two main parts to Smatch. The first is a patch to the gcc sources to print out a lot of information. The second part is a collection of perl scripts and libraries to analyze the information.
-
20
-
21
Based on an architecture that is a mix of exokernel and micro-kernel, ev/ros shall be an innovative and revolutionary operating system that will support many platforms and provide conventional, distributed, and hard real time features.
-
22
This project has moved to: http://vger.kernel.org/vger-lists.html#linux-kbuild Here, you can find the old mailing list, files and website regarding: Linux kernel build. Patches, documentation, and auxilary programs related to the kernel configuration
-
23
This tools will automagically configure the linux kernel, detecting hardware and used sotware protocols. The project will be (maybe) included in kernel 2.5, with the new CML2. We provide also a stand-alone tool to configure 2.4.x kernels.
-
24
Monarc is an experimental and progressive operating system kernel; featuring modern architecture, clean code, and flexible structure.
-
25
Tynix is a real-time kernel for embedded systems with reduced memory availability (without external memory). The project intends to be very small, portable for a large amount of platforms and easily configurable.
- Previous
- You're on page 1
- Next
