tzemanovic

haskell-yesod-realworld-example-app

Exemplary real world application built with Haskell + Yesod

highlight.js-cli

bevy_iced

Iced integration for Bevy

create-elm-app

Create Elm apps with zero configuration

homie

juvix

An experimental programming language created by Heliax as a first step toward creating more robust and reliable alternatives for formally verified smart contracts than existing languages.

mdbook-katex

A preprocessor for mdBook, rendering LaTex equations to HTML at build time.

namada

Rust implementation of Namada, a sovereign proof-of-stake blockchain for asset-agnostic interchain privacy.

bevy

A refreshingly simple data-driven game engine built in Rust

bevy_rapier

Official Rapier plugin for the Bevy game engine.

edamagit

Magit for VSCode

eyre

A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications

ggrs

GGRS is a reimagination of GGPO, enabling P2P rollback networking in Rust. Rollback to the future!

gitlab-ci-local

Test you gitlab ci locally, with local overrides.

iced

A cross-platform GUI library for Rust, inspired by Elm

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

jumpy

Tactical 2D shooter in fishy pixels style. Made with Rust-lang 🦀 and Bevy 🪶

leafwing-input-manager

A straightforward stateful input manager for the Bevy game engine.

nalgebra

Linear algebra library for Rust.

nixpkgs

Nix Packages collection

nushell.github.io

Nushell's main website, blog, book, and more

parry

2D and 3D collision-detection library for Rust.

proptest

Hypothesis-like property testing for Rust

rapier

2D and 3D physics engines focused on performance.

roc

Roc is a language for making delightful software.

rust

Empowering everyone to build reliable and efficient software.

rust-libp2p

The Rust Implementation of the libp2p networking stack.

test

this-week-in-rust

Data for this-week-in-rust.org

unreal-rust

Rust integration for Unreal Engine 5