Matthias Heinzel (mheinzel)

mheinzel

Geek Repo

Location:Berlin

Twitter:@mheinzel_

Github PK Tool:Github PK Tool

Matthias Heinzel's starred repositories

chisel

Chisel: A Modern Hardware Design Language

Language:ScalaLicense:Apache-2.0Stargazers:3982Issues:0Issues:0

bvh

A fast BVH using SAH in rust

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

rust-gpu

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

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

nrays

A basic 3D ray tracer in Rust.

Language:RustLicense:BSD-3-ClauseStargazers:62Issues:0Issues:0

practical-path-guiding

Code of "Practical Path Guiding for Efficient Light-Transport Simulation"

Language:C++License:GPL-3.0Stargazers:229Issues:0Issues:0

SmallVCM

A (not too) small physically based renderer that implements the vertex connection and merging algortihm

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

futhark

:boom::computer::boom: A data-parallel functional programming language

Language:HaskellLicense:ISCStargazers:2402Issues:0Issues:0

vcs-ignore

📜 Haskell library handling files ignored by VCS

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

wgpu-rs

Rust bindings to wgpu native library

Language:RustLicense:MPL-2.0Stargazers:1685Issues:0Issues:0

mitsuba2

Mitsuba 2: A Retargetable Forward and Inverse Renderer

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

flamegraph

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

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

rtiow-rust

Ray tracer from Peter Shirley's Ray Tracing In One Weekend / The Next Week, but in Rust.

Language:RustLicense:BSD-2-ClauseStargazers:55Issues:0Issues:0

accelerate

Embedded language for high-performance array computations

Language:HaskellLicense:NOASSERTIONStargazers:903Issues:0Issues:0

accelerate-examples

Examples for the Accelerate language

Language:HaskellLicense:NOASSERTIONStargazers:69Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:0Issues:0

learn4haskell

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

Language:HaskellLicense:MPL-2.0Stargazers:1007Issues:0Issues:0

clash-intel8080

Intel 8080 CPU core: software emulator and CLaSH hardware description

Language:HaskellLicense:MITStargazers:25Issues:0Issues:0
Language:HaskellLicense:MITStargazers:6Issues:0Issues:0

wire-cli

🚧 CLI client for wire (Very experimental and very unofficial) 🚧

Language:HaskellLicense:GPL-3.0Stargazers:5Issues:0Issues:0

polysemy-mocks

Mock polysemy effects

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

mu-haskell

Mu (μ) is a purely functional framework for building micro services.

Language:HaskellLicense:Apache-2.0Stargazers:333Issues:0Issues:0

kpop.sh

Proof of Prior Knowledge service

Language:NixStargazers:3Issues:0Issues:0
Language:MakefileLicense:NOASSERTIONStargazers:15Issues:0Issues:0

mls-architecture

MLS architecture

Language:MakefileLicense:NOASSERTIONStargazers:66Issues:0Issues:0

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixLicense:MITStargazers:7046Issues:0Issues:0

row-types

A Haskell library for open records and variants using closed type families and type literals

Language:HaskellLicense:MITStargazers:111Issues:0Issues:0

cbmc

C Bounded Model Checker

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

statix-sandbox

Experiments with the Statix meta-language

Language:AMPLStargazers:6Issues:0Issues:0

stan

🕵️ Haskell STatic ANalyser

Language:HaskellLicense:MPL-2.0Stargazers:570Issues:0Issues:0

selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:2380Issues:0Issues:0