Borgo is a statically typed language that compiles to Go.
- compiler
- golang
- programming-language
- rust-lang
78,850 visible repositories in the index
25–48 of 88 · Most stars
Borgo is a statically typed language that compiles to Go.
A full-featured and easy-to-use web framework with the Rust programming language.
Blazing fast concurrent HashMap for Rust.
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
Native PostgreSQL driver for the Rust programming language
Common data structures and algorithms in Rust
Rust for C++ programmers
An RPC framework for Rust with a focus on ease of use.
A model checker for Rust programs.
A static, type inferred and embeddable language written in Rust.
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
inotify-tools is a library and a set of command-line programs providing a simple interface to inotify.
AWS SDK for the Rust Programming Language
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.
a dialect of The Monkey Programming Language
programmatic video rendering framework that is actually fast
Graph-oriented live coding language and music/audio DSP library written in Rust
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with your existing systems 🦀 Written in rust
A statically typed language compatible with Python
A statically typed programming language for scientific computations with first class support for physical dimensions and units
An embedded scheme interpreter in Rust
Cross-platform, low level networking using the Rust programming language.
Linear algebra foundation for the Rust programming language
A modern Prolog implementation written mostly in Rust.