Coder Social home page Coder Social logo

karroffel's Projects

amethyst icon amethyst

Data-oriented game engine written in Rust

arvrsimple icon arvrsimple

Reference implementation of an ARVR GDNative module for Godot

beaker icon beaker

An experimental peer-to-peer Web browser

bevy icon bevy

A refreshingly simple data-driven game engine built in Rust

bounded icon bounded

Library defines a bounded numeric types

cfstructs icon cfstructs

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

gfx icon gfx

A high-performance, bindless graphics API for Rust.

godot icon godot

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

homebase icon homebase

Self-deployable tool for seeding dat:// websites

idris2 icon idris2

A purely functional programming language with first class types

idris2-boot icon idris2-boot

A dependently typed programming language, a successor to Idris

meshopt-rs icon meshopt-rs

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

nheko icon nheko

Desktop client for the Matrix protocol

prusti-dev icon prusti-dev

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

qmetaobject-rs icon qmetaobject-rs

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

rust-cpp icon rust-cpp

Embed C++ directly inside your rust code!

why3-utils icon why3-utils

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

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.