Han Meh's repositories

ash

Vulkan bindings for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

chyp

An interactive theorem prover for string diagrams

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

circom

zkSnark circuit compiler

Language:WebAssemblyLicense:GPL-3.0Stargazers:0Issues:0Issues:0

cplint

cplint is a suite of programs for reasoning with probabilistic logic programs

Language:PrologLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dip

Rust application framework focuses on composability, ECS and Web3. Powered by Bevy game engine. From desktop apps to the Metaverse.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

distance-field

:capital_abcd: Generate distance field bitmaps--vector compression for games

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0

dozer

Connect any data source, combine them in real-time and instantly get low-latency Data APIs. All with just a simple configuration!

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

druid

A data-first Rust-native UI design toolkit.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ForneyLab.jl

Julia package for automatically generating Bayesian inference algorithms through message passing on Forney-style factor graphs.

Language:JuliaLicense:MITStargazers:0Issues:0Issues:0

Fyrox

3D and 2D game engine written in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

hdf5-rust

HDF5 for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

Higra

Hierarchical Graph Analysis

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

hotham

Hotham is a tool for creating incredible standalone VR games.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lapce

Lightning-fast and Powerful Code Editor written in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

MDL-SDK

NVIDIA Material Definition Language SDK

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

miette

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

naga

Universal shader translation in Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

pythnet

Pythnet

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

pythonflow

:snake: Dataflow programming for python.

License:Apache-2.0Stargazers:0Issues:0Issues:0

qdrant

Qdrant - Vector Database for the next generation of AI applications. Also available in the cloud https://cloud.qdrant.io/

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ReactiveMP.jl

High-performance reactive message-passing based Bayesian inference engine

Language:JuliaLicense:MITStargazers:0Issues:0Issues:0

RxInfer.jl

Julia package for automated Bayesian inference on a factor graph with reactive message passing

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

self-replace

Utility library that helps to implement processes that replace themselves

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

thirdroom

Open, decentralised, immersive worlds built on Matrix

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

trajectoids

Given a path, computes the 3D shape ("trajectoid") that would follow this path when rolling down a slope

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

USD

Universal Scene Description

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

Vlsir

Interchange formats for chip design.

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

vulkano

Safe and rich Rust wrapper around the Vulkan API

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

wgpu

Safe and portable GPU abstraction in Rust, implementing WebGPU API.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0