phase

phase's Stars

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust15.6k88147387

• NVIDIA/open-gpu-kernel-modules

  NVIDIA Linux open GPU kernel module source

  Language:C14.1k1723091.2k

• cupy/cupy

  NumPy & SciPy for GPU

  Language:Python7.9k1272.2k776

• N64Recomp/N64Recomp

  Tool to statically recompile N64 games into native executables

  Language:C++5.9k8951359

• Zelda64Recomp/Zelda64Recomp

  Static recompilation of Majora's Mask (and soon Ocarina of Time) for PC (Windows/Linux)

  Language:C4.7k81268239

• NVIDIA/cutlass

  CUDA Templates for Linear Algebra Subroutines

  Language:C++4.7k107885815

• microsoft/ebpf-for-windows

  eBPF implementation that runs on top of Windows

  Language:C2.6k581.4k206

• valence-rs/valence

  A Rust framework for building Minecraft servers.

  Language:Rust2.4k39183125

• TheOfficialFloW/PPPwn

  PPPwn - PlayStation 4 PPPoE RCE

  Language:Python2.2k890334

• flame/how-to-optimize-gemm

  Language:C1.6k4517348

• m4rs-mt/ILGPU

  ILGPU JIT Compiler for high-performance .Net GPU programs

  Language:C#1.3k31376115

• openai/simple-evals

  Language:Python1.3k236105

• HazyResearch/ThunderKittens

  Tile primitives for speedy kernels

  Language:Cuda1.2k251137

• hylo-lang/hylo

  The Hylo programming language

  Language:Swift1.1k2440854

• edwardtufte/et-book

  A webfont of the typeface used in Edward Tufte’s books.

  Language:HTML1.1k2717100

• NervanaSystems/maxas

  Assembler for NVIDIA Maxwell architecture

  Language:Sass9198811157

• sudara/awesome-juce

  A curated list of JUCE modules, templates, plugins, oh my!

  Language:Ruby68722532

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq319102376

• siboehm/SGEMM_CUDA

  Fast CUDA matrix multiplication from scratch

  Language:Cuda2992437

• newca12/awesome-rust-formalized-reasoning

  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  2791309

• mbrock/wisp

  Lisp in WebAssembly

  Language:Zig2217216

• henesy/awesome-plan9

  A curated list of awesome Plan9-related documents, libraries, and software

  20912111

• niv/neverwinter.nim

  CLI tools and nim library used in Neverwinter Nights: Enhanced Edition development

  Language:C++127176229

• andrewgazelka/hyperion

  Getting 10k players to PvP at once on a Minecraft server to break the Guinness World Record.

  Language:Rust72223011

• lambertjamesd/spellcraft

  a new original n64 game

  Language:C47202

• FigBug/SN76489

  Sega Master System Sound Chip VST / AU emulation

  Language:C++39315

• nberr/juce-template

  Template for JUCE plugins

  Language:C++273133

• dist1ll/wfmpsc

  Wait-free, cache-aware MPSC queue in Rust

  Language:Rust14100

• EigenCompilerSuite/sources

  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz

  Language:Scilab142

• dist1ll/lexer-exp

  Experiments with high-throughput lexing on aarch64

  Language:Rust12103