Skip to content
View nayvcake's full-sized avatar

Organizations

@RabbitHouseCorp @KoldMusic

Block or report nayvcake

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A massively parallel, high-level programming language

Rust 17,908 442 Updated Dec 26, 2024

Lean 4 programming language and theorem prover

Lean 4,956 448 Updated Jan 18, 2025

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 53,165 3,375 Updated Jan 18, 2025

framework for composable networking services

Rust 2,140 109 Updated Jan 15, 2025

RETVec is an efficient, multilingual, and adversarially-robust text vectorizer.

Jupyter Notebook 286 23 Updated Dec 13, 2024

Platform that enables Windows driver development in Rust. Developed by Surface.

Rust 1,549 72 Updated Jan 16, 2025

An interpreter for Rust's mid-level intermediate representation

Rust 4,783 356 Updated Jan 15, 2025

The Mojo Programming Language

Mojo 23,580 2,593 Updated Jan 17, 2025

Rust library for build scripts to compile C/C++ code into a Rust library

Rust 1,906 466 Updated Jan 17, 2025

❌ Cargo plugin for linting your dependencies 🦀

Rust 1,833 90 Updated Jan 13, 2025

This repository contains the official implementation of the research paper, "FastViT: A Fast Hybrid Vision Transformer using Structural Reparameterization" ICCV 2023

Python 1,850 107 Updated Nov 30, 2023

The Hylo programming language

Swift 1,282 59 Updated Jan 16, 2025

A tiny JVM written in Rust. Learning project

Rust 1,503 80 Updated Jan 24, 2024

Vulkan binding generator for Zig

Zig 546 62 Updated Dec 29, 2024

Pixel art editor made with Zig.

Zig 819 26 Updated Jan 17, 2025

Cloudflare's implementation of the NTS protocol written in Rust

Rust 176 19 Updated Apr 9, 2024

A String Library made for Zig

Zig 413 29 Updated Nov 21, 2024

A FLAC decoder in Rust

Rust 289 28 Updated Jun 10, 2024

TLS Support for SwiftNIO, based on BoringSSL.

C++ 392 141 Updated Jan 3, 2025

An RPKI Validator and RTR server written in Rust

Rust 480 72 Updated Jan 10, 2025

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

Rust 3,708 311 Updated Dec 20, 2024

A modern, portable, easy to use crypto library.

C 12,443 1,755 Updated Jan 16, 2025

A language for building concurrent software with confidence

Rust 929 43 Updated Jan 17, 2025

Build beautiful desktop apps with flutter and rust. 🌠 (wip)

Rust 2,105 77 Updated Jun 14, 2023

Odin Programming Language

Odin 7,465 671 Updated Jan 17, 2025

Safe and rich Rust wrapper around the Vulkan API

Rust 4,626 437 Updated Dec 16, 2024

Linear algebra library for Rust.

Rust 4,132 488 Updated Oct 31, 2024

Target side implementation of the RTT (Real-Time Transfer) I/O protocol

Rust 131 30 Updated Dec 2, 2024

Spin-based synchronization primitives

Rust 493 93 Updated Jul 31, 2024
Next
Showing results