dylanede

dylanede's Stars

• cramsay/toatie

  A spicy hardware description language with dependent types

  Language:Idris5

• naver/dust3r

  DUSt3R: Geometric 3D Vision Made Easy

  Language:Python4.5k493

• graphdeco-inria/gaussian-splatting

  Original reference implementation of "3D Gaussian Splatting for Real-Time Radiance Field Rendering"

  Language:Python12.1k1.5k

• itt-ustutt/num-dual

  Generalized (hyper-) dual numbers in rust

  Language:Rust485

• nguwijy/deep_navier_stokes

  Language:Jupyter Notebook1

• ahrm/sioyek

  Sioyek is a PDF viewer with a focus on textbooks and research papers

  Language:C6.7k214

• CadQuery/cadquery

  A python parametric CAD scripting framework based on OCCT

  Language:Python2.9k275

• BrownDogGadgets/CrazyCircuits

  PCB and design files for CrazyCircuits

  Language:C++11836

• majbthrd/pico-debug

  virtual debug pod for RP2040 "Raspberry Pi Pico" with no added hardware

  Language:C36851

• EmbarkStudios/kajiya

  💡 Experimental real-time global illumination renderer 🦀

  Language:Rust4.6k173

• KhronosGroup/LLVM-SPIRV-Backend

  An LLVM backend generating SPIR-V binary.

  8819

• sicmutils/sicmutils

  Computer Algebra, Physics and Differential Geometry in Clojure.

  Language:Clojure76768

• justincfeng/PoMiN

  PoMiN is a Post-Minkowskian N-Body Solver

  Language:Mathematica72

• johannesvollmer/exrs

  100% Safe Rust OpenEXR file library

  Language:Rust14722

• EmbarkStudios/rust-gpu

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

  Language:Rust7k245

• GPUPeople/Ouroboros

  GPU MemoryManager based on virtualized queues

  Language:C++183

• ipc-sim/IPC

  Incremental Potential Contact (IPC) is for robust and accurate time stepping of nonlinear elastodynamics. IPC guarantees intersection- and inversion-free trajectories regardless of materials, time-step sizes, velocities, or deformation severity.

  Language:C++53272

• microsoft/WindowsAppSDK

  The Windows App SDK empowers all Windows desktop apps with modern Windows UI, APIs, and platform features, including back-compat support, shipped via NuGet.

  Language:C++3.7k305

• pulver/autodiff

  Automatic Differentiation C++ Library

  Language:C++556

• kedarbhat/autodiff

  Automatic Differentiation C++ Library

  Language:C++1

• agda/agda-stdlib

  The Agda standard library

  Language:Agda559233

• UniFormal/MMT

  The MMT Language and System

  Language:Scala6722

• gpudirect/libgdsync

  GPUDirect Async support for IB Verbs

  Language:C++8511

• kframework/X86-64-semantics

  Semantics of x86-64 in K

  Language:Assembly13011

• mellanox-hpc/ibverbs-tests

  OFED libibverbs tests package

  Language:C++1418

• fu5ha/rayn

  A small path tracing renderer written in Rust.

  Language:Rust52516

• au-ts/cogent

  Cogent Project

  Language:Isabelle15626

• fanzeyi/cargo-play

  A local Rust playground

  Language:Rust32921

• jmmartinez/easy-just-in-time

  LLVM Optimization to extract a function, embedded in its intermediate representation in the binary, and execute it using the LLVM Just-In-Time compiler.

  Language:C++50531

• plasma-umass/coz

  Coz: Causal Profiling

  Language:C4k162