peterohanley

peterohanley's Stars

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.8k114920484

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.8k106189419

• ange-yaghi/engine-sim

  Combustion engine simulator that generates realistic audio.

  Language:C++8.8k124410788

• NVIDIA/warp

  A Python framework for high performance GPU simulation and graphics

  Language:Python4.6k48411260

• OpenXRay/xray-16

  Improved version of the X-Ray Engine, the game engine used in the world-famous S.T.A.L.K.E.R. game series by GSC Game World. Join OpenXRay! ;)

  Language:C++3.1k148717466

• open-goal/jak-project

  Reviving the language that brought us the Jak & Daxter Series

  Language:Common Lisp2.9k441.5k181

• WolfireGames/overgrowth

  Open Source codebase of the game Overgrowth by Wolfire Games LLC

  Language:C++2.6k4281267

• d12frosted/homebrew-emacs-plus

  Emacs Plus formulae for the Homebrew package manager

  Language:Ruby2.5k43397188

• afnanenayet/diffsitter

  A tree-sitter based AST difftool to get meaningful semantic diffs

  Language:Rust1.7k104429

• alecjacobson/common-3d-test-models

  Repository containing common 3D test models in original format with original source if known and obj mesh

  Language:Forth1.3k254143

• RigsOfRods/rigs-of-rods

  Main development repository for Rigs of Rods soft-body physics simulator

  Language:C++1k771.1k181

• hirrolot/metalang99

  Full-blown preprocessor metaprogramming

  Language:C893172426

• magmide/magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  Language:Coq815511813

• MoarVM/MoarVM

  A VM with adaptive optimization and JIT compilation, built for Rakudo

  Language:C71360565178

• NVIDIAGameWorks/FleX

  Language:C++69175134100

• alecjacobson/gptoolbox

  Matlab toolbox for Geometry Processing.

  Language:MATLAB64042113171

• auriamg/macdylibbundler

  Utility to ease bundling libraries into executables for OSX

  Language:C++576213686

• gcherchi/FastAndRobustMeshArrangements

  This is the header-only version of the code we used for the experiments in the paper "Fast and Robust Mesh Arrangements using Floating-point Arithmetic" by G. Cherchi, M. Livesu, R. Scateni and M. Attene (SIGGRAPH Asia 2020).

  Language:C++153121525

• jorio/OttoMatic

  Pangea Software’s Otto Matic 🤖

  Language:C14882914

• sueda/eol-cloth

  Eulerian-on-Lagrangian Cloth Simulation

  Language:C++1069217

• alhassy/gentle-intro-to-reflection

  A slow-paced introduction to reflection in Agda. ---Tactics!

  Language:Agda98609

• brown/swank-client

  Common Lisp implementation of a Slime / Swank client.

  Language:Common Lisp861257

• TOTBWF/refinery

  ⛏️ A refinement proof framework for haskell

  Language:Haskell697112

• alecjacobson/FAST

  Fast Automatic Skinning Transformations

  Language:C++669711

• tflsguoyu/materialgan

  Language:Python53356

• mit-plv/rupicola

  Gallina to Bedrock2 compilation toolkit

  Language:Coq52161012

• eudoxia0/swank-protocol

  A low-level client for Swank

  Language:Common Lisp31613

• elrnv/softy

  Simulation tools for animating interacting soft objects

  Language:Rust30403

• ErisZhang/fast-rotation-fitting

  Language:C++20204

• itsvismay/fast_muscles

  Language:C++16811