Giters
Nayv (nayvcake)

nayvcake

Geek Repo

34

followers

70

following

415

stars

Location:Brazil

Twitter:@nayvcake

Github PK Tool:Github PK Tool

Organizations
KoldMusic
RabbitHouseCorp

Nayv's starred repositories

Bend

A massively parallel, high-level programming language

Language:RustLicense:Apache-2.0Stargazers:16503Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:3989Issues:0Issues:0

zed

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

Language:RustLicense:NOASSERTIONStargazers:38503Issues:0Issues:0

ntex

framework for composable networking services

Language:RustLicense:Apache-2.0Stargazers:1835Issues:0Issues:0

retvec

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

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:275Issues:0Issues:0

windows-drivers-rs

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

Language:RustLicense:Apache-2.0Stargazers:1400Issues:0Issues:0

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustLicense:Apache-2.0Stargazers:4121Issues:0Issues:0

mojo

The Mojo Programming Language

Language:MojoLicense:NOASSERTIONStargazers:21980Issues:0Issues:0

cc-rs

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

Language:RustLicense:Apache-2.0Stargazers:1760Issues:0Issues:0

cargo-deny

❌ Cargo plugin for linting your dependencies 🦀

Language:RustLicense:Apache-2.0Stargazers:1599Issues:0Issues:0

ml-fastvit

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

Language:PythonLicense:NOASSERTIONStargazers:1765Issues:0Issues:0

hylo

The Hylo programming language

Language:SwiftLicense:Apache-2.0Stargazers:1146Issues:0Issues:0

rjvm

A tiny JVM written in Rust. Learning project

Language:RustLicense:Apache-2.0Stargazers:1418Issues:0Issues:0

vulkan-zig

Vulkan binding generator for Zig

Language:ZigLicense:MITStargazers:410Issues:0Issues:0

pixi

Pixel art editor made with Zig.

Language:ZigLicense:MITStargazers:630Issues:0Issues:0

cfnts

Cloudflare's implementation of the NTS protocol written in Rust

Language:RustLicense:BSD-2-ClauseStargazers:178Issues:0Issues:0

zig-string

A String Library made for Zig

Language:ZigLicense:MITStargazers:276Issues:0Issues:0

claxon

A FLAC decoder in Rust

Language:RustLicense:Apache-2.0Stargazers:283Issues:0Issues:0

swift-nio-ssl

TLS Support for SwiftNIO, based on BoringSSL.

Language:CLicense:Apache-2.0Stargazers:383Issues:0Issues:0

routinator

An RPKI Validator and RTR server written in Rust

Language:RustLicense:BSD-3-ClauseStargazers:442Issues:0Issues:0

ndarray

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

Language:RustLicense:Apache-2.0Stargazers:3409Issues:0Issues:0

libsodium

A modern, portable, easy to use crypto library.

Language:CLicense:NOASSERTIONStargazers:12021Issues:0Issues:0

inko

A language for building concurrent software with confidence

Language:RustLicense:MPL-2.0Stargazers:796Issues:0Issues:0

flutter-rs

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

Language:RustLicense:MITStargazers:2100Issues:0Issues:0

Odin

Odin Programming Language

Language:OdinLicense:BSD-3-ClauseStargazers:6056Issues:0Issues:0

vulkano

Safe and rich Rust wrapper around the Vulkan API

Language:RustLicense:Apache-2.0Stargazers:4378Issues:0Issues:0

nalgebra

Linear algebra library for Rust.

Language:RustLicense:Apache-2.0Stargazers:3814Issues:0Issues:0

rtt-target

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

Language:RustLicense:MITStargazers:100Issues:0Issues:0

spin-rs

Spin-based synchronization primitives

Language:RustLicense:MITStargazers:456Issues:0Issues:0

dfdx

Deep learning in Rust, with shape checked tensors and neural networks

Language:RustLicense:NOASSERTIONStargazers:1659Issues:0Issues:0