Enterprise gatewayA lightweight, multi-tenant, scalable and secure gateway that enables Jupyter Notebooks to share resources across distributed clusters such as Apache Spark, Kubernetes and others.
Stars: ✭ 412 (+598.31%)
GophernotesThe Go kernel for Jupyter notebooks and nteract.
Stars: ✭ 3,100 (+5154.24%)
coq jupyterJupyter kernel for Coq
Stars: ✭ 70 (+18.64%)
EnsoHybrid visual and textual functional programming.
Stars: ✭ 5,238 (+8777.97%)
SparkmagicJupyter magics and kernels for working with remote Spark clusters
Stars: ✭ 954 (+1516.95%)
imongoA MongoDB kernel for Jupyter
Stars: ✭ 51 (-13.56%)
ByteOSA simple hobby operating system for the x86-64 architecture, written in C.
Stars: ✭ 47 (-20.34%)
pearlfanGNU/Linux kernel driver and libusb app for a Pearl's USB LED fan
Stars: ✭ 20 (-66.1%)
jupyter-bbox-widgetA Jupyter widget for annotating images with bounding boxes
Stars: ✭ 19 (-67.8%)
resonanceLearning Mechanical Vibration Engineering Through Computation
Stars: ✭ 28 (-52.54%)
Exploit-DevelopmentExploit Development - Weaponized Exploit and Proof of Concepts (PoC)
Stars: ✭ 84 (+42.37%)
Apollox86 Kernel Project
Stars: ✭ 22 (-62.71%)
covid-19-communityCommunity effort to build a Neo4j Knowledge Graph (KG) that links heterogeneous data about COVID-19
Stars: ✭ 95 (+61.02%)
spring-cloud-stream-event-sourcing-testcontainersGoal: create a Spring Boot application that handles users using Event Sourcing. So, whenever a user is created, updated, or deleted, an event informing this change is sent to Kafka. Also, we will implement another application that listens to those events and saves them in Cassandra. Finally, we will use Testcontainers for integration testing.
Stars: ✭ 16 (-72.88%)
MicrodotThe Microdot Project guides you to create a fully functional but compact Linux system from scratch
Stars: ✭ 41 (-30.51%)
lucjan-kernelsDell Inspiron 15-3542 (3542-2538) with Fourth Gen Intel Core i3/i5/i7 optimized.
Stars: ✭ 16 (-72.88%)
R-in-Jupyter-with-BinderExample of how to use R in Jupyter notebooks and make compatible with Binder
Stars: ✭ 17 (-71.19%)
MandelbrotOSA community driven OS by the youth
Stars: ✭ 172 (+191.53%)
buildA GitHub Action to deploy Notebooks, Markdowns, ... to GitHub Pages
Stars: ✭ 31 (-47.46%)
hermit-playgroundA playground to build C/C++/Go/Fortran applications on top of RustyHermit
Stars: ✭ 13 (-77.97%)
SnapBlockly for Unity Editor.
Stars: ✭ 31 (-47.46%)
kernel xiaomi ginkgoQuicksilveR Kernel Source For Xiaomi Redmi Note 8/8T, Fork of https://github.com/ghostrider-reborn/android_kernel_xiaomi_ginkgo
Stars: ✭ 20 (-66.1%)
pps-gen-gpioLinux kernel PPS generator using GPIO pins
Stars: ✭ 25 (-57.63%)
ensSupports de cours
Stars: ✭ 13 (-77.97%)
linux-1.0Linux Kernel 1.0
Stars: ✭ 81 (+37.29%)
Cat-DriverCatDriver - The Kernel Mode Driver that written in C++. It is an useful driver and has the highest privilege level on the Windows platform. It can be used for Game Hacking and others.
Stars: ✭ 41 (-30.51%)
Kaminou-KernelJust another (unfinished) kernel from scratch...
Stars: ✭ 32 (-45.76%)
zaoqi-bookpandas.liuzaoqi.com/intro.html
Stars: ✭ 21 (-64.41%)
lo2sLinux OTF2 Sampling - A Lightweight Node-Level Performance Monitoring Tool
Stars: ✭ 24 (-59.32%)
cvehoundCheck linux sources dump for known CVEs.
Stars: ✭ 74 (+25.42%)
kernelMy ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.
Stars: ✭ 23 (-61.02%)
kernel-ciContinuous integration for the Linux Kernel - Built within Docker
Stars: ✭ 34 (-42.37%)
sage-binder-envA SageMath-based computing environment for binder
Stars: ✭ 17 (-71.19%)
importnbnotebook files as source
Stars: ✭ 47 (-20.34%)
theme-darculaA handsome Darcula theme for Jupyterlab. The first jlab theme to include dark scrollbars
Stars: ✭ 136 (+130.51%)
rxinuRust implementation of Xinu educational operating system
Stars: ✭ 26 (-55.93%)
pc guidelinesGuidelines for using IvLabs PC. General instructions for maintaining and using any PC/laptop while using Ubuntu for Robotics/DL/RL research.
Stars: ✭ 23 (-61.02%)
http4s-graalAn experiment running http4s as native image with Graal (+ Substrate)
Stars: ✭ 27 (-54.24%)
Sphinx-BerylliumSphinx Custom Kernel for Pocophone F1 (Beryllium)
Stars: ✭ 23 (-61.02%)
torokernelThis repository contains the source code of the unikernel toro
Stars: ✭ 107 (+81.36%)
nightingaleA small operating system where I experiment and learn osdev.
Stars: ✭ 86 (+45.76%)
RocketOSRocketOS is a Unix based OS that uses legacy BIOS and GRUB and is written in C17. It is being developed for educational purposes primarily, but it still is a serious project. It is currently in its infancy.
Stars: ✭ 23 (-61.02%)
get-started-with-JAXThe purpose of this repo is to make it easy to get started with JAX, Flax, and Haiku. It contains my "Machine Learning with JAX" series of tutorials (YouTube videos and Jupyter Notebooks) as well as the content I found useful while learning about the JAX ecosystem.
Stars: ✭ 229 (+288.14%)
FukuroSimple microkernel (early stage)
Stars: ✭ 18 (-69.49%)
mmtf-workshop-2018Structural Bioinformatics Training Workshop & Hackathon 2018
Stars: ✭ 50 (-15.25%)
GeoNonceSetter12Nonce Setter for iOS 12.0 -> 12.2 and 12.4 pre-A12
Stars: ✭ 37 (-37.29%)