karroffel

godot

Godot Engine – Multi-platform 2D and 3D game engine

cfstructs

A collection of cache-friendly data structures in C++, without any dependencies.

Idris2-Ocaml

OCaml backend for Idris2

godot-glTF2-plugin

A plugin for the Godot Engine to load glTF files at runtime

FlappyCoconutReloaded

godot-rust

Rust bindings for GDNative

amethyst

Data-oriented game engine written in Rust

ARVRSimple

Reference implementation of an ARVR GDNative module for Godot

beaker

An experimental peer-to-peer Web browser

beakerbrowser.com

Source code for https://beakerbrowser.com

bevy

A refreshingly simple data-driven game engine built in Rust

bounded

Library defines a bounded numeric types

flappy_scoreboard

Online scoreboard for FlappyCoconutReloaded

gfx

A high-performance, bindless graphics API for Rust.

gfx-memory

Memory management library of gfx_hal

godot-cpp

C++ bindings for the Godot script API

godot-docs

Godot Engine official documentation

godot-rust.github.io

GitHub Pages for the godot-rust project

godot-texture-painter

A GPU-accelerated texture painter written in Godot 3.0

GodotSpringArm

A configurable spring arm node for Godot Engine

homebase

Self-deployable tool for seeding dat:// websites

Idris2

A purely functional programming language with first class types

Idris2-boot

A dependently typed programming language, a successor to Idris

meshopt-rs

Rust ffi and idiomatic wrapper for zeux/meshoptimizer, a mesh optimization library that makes indexed meshes more GPU-friendly.

nheko

Desktop client for the Matrix protocol

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

qmetaobject-rs

Integrate Qml and Rust by building the QMetaObject at compile time.

rust-cpp

Embed C++ directly inside your rust code!

why3-utils

Datastructures, functions and proofs for day-to-day Why3 coding

zz

🍺🐙 ZZ (drunk octopus) a rust inspired transpiler and symbolic verifier to bare metal C