Giters
Nayv (nayvcake)

nayvcake

Geek Repo

36

followers

71

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:17118Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4421Issues: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:45737Issues:0Issues:0

ntex

framework for composable networking services

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

retvec

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

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

windows-drivers-rs

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

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

miri

An interpreter for Rust's mid-level intermediate representation

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

mojo

The Mojo Programming Language

Language:MojoLicense:NOASSERTIONStargazers:22742Issues:0Issues:0

cc-rs

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

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

cargo-deny

❌ Cargo plugin for linting your dependencies 🦀

Language:RustLicense:Apache-2.0Stargazers:1677Issues: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:1796Issues:0Issues:0

hylo

The Hylo programming language

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

rjvm

A tiny JVM written in Rust. Learning project

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

vulkan-zig

Vulkan binding generator for Zig

Language:ZigLicense:MITStargazers:449Issues:0Issues:0

pixi

Pixel art editor made with Zig.

Language:ZigLicense:MITStargazers:710Issues:0Issues:0

cfnts

Cloudflare's implementation of the NTS protocol written in Rust

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

zig-string

A String Library made for Zig

Language:ZigLicense:MITStargazers:325Issues:0Issues:0

claxon

A FLAC decoder in Rust

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

swift-nio-ssl

TLS Support for SwiftNIO, based on BoringSSL.

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

routinator

An RPKI Validator and RTR server written in Rust

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

ndarray

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

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

libsodium

A modern, portable, easy to use crypto library.

Language:CLicense:NOASSERTIONStargazers:12155Issues:0Issues:0

inko

A language for building concurrent software with confidence

Language:RustLicense:MPL-2.0Stargazers:849Issues: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:6486Issues:0Issues:0

vulkano

Safe and rich Rust wrapper around the Vulkan API

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

nalgebra

Linear algebra library for Rust.

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

rtt-target

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

Language:RustLicense:MITStargazers:105Issues:0Issues:0

spin-rs

Spin-based synchronization primitives

Language:RustLicense:MITStargazers:469Issues:0Issues:0

dfdx

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

Language:RustLicense:NOASSERTIONStargazers:1706Issues:0Issues:0