Pinned Repositories
bevy
A refreshingly simple data-driven game engine built in Rust
gdnative
Rust bindings for Godot 3
amethyst
Data-oriented game engine written in Rust
cfstructs
A collection of cache-friendly data structures in C++, without any dependencies.
FlappyCoconutReloaded
godot
Godot Engine – Multi-platform 2D and 3D game engine
godot-glTF2-plugin
A plugin for the Godot Engine to load glTF files at runtime
godot-rust
Rust bindings for GDNative
Idris2-Ocaml
OCaml backend for Idris2
karroffel's Repositories
karroffel/godot
Godot Engine – Multi-platform 2D and 3D game engine
karroffel/cfstructs
A collection of cache-friendly data structures in C++, without any dependencies.
karroffel/Idris2-Ocaml
OCaml backend for Idris2
karroffel/godot-glTF2-plugin
A plugin for the Godot Engine to load glTF files at runtime
karroffel/FlappyCoconutReloaded
karroffel/godot-rust
Rust bindings for GDNative
karroffel/amethyst
Data-oriented game engine written in Rust
karroffel/ARVRSimple
Reference implementation of an ARVR GDNative module for Godot
karroffel/beaker
An experimental peer-to-peer Web browser
karroffel/beakerbrowser.com
Source code for https://beakerbrowser.com
karroffel/bevy
A refreshingly simple data-driven game engine built in Rust
karroffel/bounded
Library defines a bounded numeric types
karroffel/flappy_scoreboard
Online scoreboard for FlappyCoconutReloaded
karroffel/gfx
A high-performance, bindless graphics API for Rust.
karroffel/gfx-memory
Memory management library of gfx_hal
karroffel/godot-cpp
C++ bindings for the Godot script API
karroffel/godot-docs
Godot Engine official documentation
karroffel/godot-rust.github.io
GitHub Pages for the godot-rust project
karroffel/godot-texture-painter
A GPU-accelerated texture painter written in Godot 3.0
karroffel/GodotSpringArm
A configurable spring arm node for Godot Engine
karroffel/homebase
Self-deployable tool for seeding dat:// websites
karroffel/Idris2
A purely functional programming language with first class types
karroffel/Idris2-boot
A dependently typed programming language, a successor to Idris
karroffel/meshopt-rs
Rust ffi and idiomatic wrapper for zeux/meshoptimizer, a mesh optimization library that makes indexed meshes more GPU-friendly.
karroffel/nheko
Desktop client for the Matrix protocol
karroffel/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
karroffel/qmetaobject-rs
Integrate Qml and Rust by building the QMetaObject at compile time.
karroffel/rust-cpp
Embed C++ directly inside your rust code!
karroffel/why3-utils
Datastructures, functions and proofs for day-to-day Why3 coding
karroffel/zz
🍺🐙 ZZ (drunk octopus) a rust inspired transpiler and symbolic verifier to bare metal C