|
|
Rust |
2 |
Rust Kernel Unix like implementation. |
May 22, 2018 |
|
|
Rust |
3 |
Basic Kernel implementation in Rust |
Jun 04, 2023 |
|
|
Rust |
4072 |
An idiomatic, lean, fast & safe pure Rust implementation of Git |
Sep 02, 2022 |
|
|
Lean |
4 |
Template for Lean<->Rust FFI |
Apr 20, 2023 |
|
|
C# |
3 |
Atreyu Lean brokerage implementation |
Jan 07, 2023 |
|
|
Rust |
6 |
A fast lean and clean modern constraint programming solver implementation (in rust) |
Mar 10, 2023 |
|
|
Rust |
13 |
🛶 Lean parametrized testing library for Rust |
May 06, 2022 |
|
|
Rust |
2 |
A lean, rust-based image resizing API |
Feb 02, 2023 |
|
|
Rust |
3 |
Rust EFI kernel |
Apr 22, 2019 |
|
|
Rust |
2 |
Minimal Rust kernel |
Oct 06, 2021 |
|
|
Rust |
2 |
Rust application template for the unikraft kernel |
Mar 30, 2022 |
|
|
Rust |
51 |
A rust kernel for the Teensy 4.0 |
Apr 20, 2023 |
|
|
Rust |
14 |
Rust bindings to the OpenCascade CAD Kernel |
Apr 30, 2023 |
|
|
Swift |
9 |
An extremely lean implementation on the classic iOS router pattern. |
Jul 25, 2022 |
|
|
Rust |
3 |
Toy kernel in Rust |
Aug 08, 2020 |
|
|
C |
96 |
XIA implementation for the Linux kernel |
May 11, 2022 |
|
|
Lean |
30 |
Formally verified implementation of Alive in Lean |
Jul 19, 2022 |
|
|
Rust |
76 |
Rust bindings to libbpf from the Linux kernel |
Aug 03, 2022 |
|
|
C |
7 |
Kernel APIs implementation. |
Apr 29, 2021 |
|
|
Lean |
6 |
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS |
Apr 18, 2023 |
|
|
Lean |
5 |
A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function |
Mar 27, 2023 |
|
|
Go |
37 |
Go implementation of the Lean Helix Byzantine fault tolerant consensus algorithm |
Aug 23, 2021 |
|
|
Rust |
4 |
A kernel written in Rust |
Jan 13, 2022 |
|
|
Rust |
9 |
Plan9 based kernel in Rust |
Mar 23, 2022 |
|
|
Rust |
12 |
A toy kernel in rust |
Sep 05, 2021 |
|
|
None |
2 |
A kernel written in Rust |
Jun 03, 2022 |
|
|
Rust |
45 |
Minimal kernel implemented in Rust |
Jun 17, 2022 |
|
|
Rust |
2 |
BIOS Kernel built in Rust. |
Oct 16, 2022 |
|
|
Rust |
2 |
Kernel logging library in rust. |
Jan 25, 2022 |
|
|
Rust |
18 |
Kernel density estimation in Rust. |
Apr 07, 2023 |
|
|
Lean |
5 |
Implementation of Gowers & Ganesalingam theorem prover in Lean |
Dec 20, 2021 |
|
|
C |
6 |
Adding support for the Rust language to the Linux kernel. |
Jun 10, 2022 |
|
|
None |
6 |
Adding support for the Rust language to the Linux kernel. |
Aug 06, 2022 |
|
|
C |
3141 |
Adding support for the Rust language to the Linux kernel. |
Dec 01, 2022 |
|
|
None |
2 |
Adding support for the Rust language to the Linux kernel. |
Oct 20, 2022 |
|
|
C |
2 |
Adding support for the Rust language to the Linux kernel. |
Feb 08, 2023 |
|
|
Rust |
6 |
A unix-like kernel written in the Rust Language! |
Aug 26, 2021 |
|
|
Rust |
273 |
A lean, privacy-preserving dynamic wallpaper changer written in Rust. |
Apr 24, 2023 |
|
|
Rust |
4 |
The Rust implementation of Bencodex |
Nov 03, 2021 |
|
|
Rust |
4 |
Rust implementation of the UHDRTZ |
Apr 14, 2023 |
|
|
None |
2 |
The rust implementation of redstone |
Aug 15, 2022 |
|
|
JavaScript |
4 |
Implementation of Kernel services |
Jun 29, 2022 |
|
|
R |
4 |
Implementation of Kernel SHAP |
Aug 18, 2022 |
|
|
C |
5 |
Super Simple Kernel Implementation |
Oct 28, 2022 |
|
|
C |
2 |
Kernel logging daemon implementation. |
Sep 22, 2020 |
|
|
C |
5 |
*NIX Kernel PatchGuard Implementation |
Aug 12, 2018 |
|
|
None |
7 |
IOAM implementation for IPv6 inside the Linux kernel |
May 29, 2022 |
|
|
C++ |
792 |
Implementation of the Jupyter kernel protocol in C++ |
Aug 23, 2022 |
|
|
Python |
5 |
Python Comm implementation for the Jupyter kernel protocol |
Apr 20, 2023 |
|
|
Python |
6 |
A GPflow implementation of the Neural Kernel Network |
Aug 06, 2022 |