karroffel Claim this profile

OCaml backend for Idris2

A refreshingly simple data-driven game engine built in Rust

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

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

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

Rust bindings for GDNative

No description.

C++ bindings for the Godot script API

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

GitHub Pages for the godot-rust project

A dependently typed programming language, a successor to Idris

Library defines a bounded numeric types

A purely functional programming language with first class types

Source code for https://beakerbrowser.com

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

An experimental peer-to-peer Web browser

Self-deployable tool for seeding dat:// websites

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

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

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

Embed C++ directly inside your rust code!

A high-performance, bindless graphics API for Rust.

Memory management library of gfx_hal

Data-oriented game engine written in Rust

A GPU-accelerated texture painter written in Godot 3.0

A configurable spring arm node for Godot Engine

Desktop client for the Matrix protocol

Reference implementation of an ARVR GDNative module for Godot

Godot Engine official documentation

Online scoreboard for FlappyCoconutReloaded

Console pong game written in Rust