stevekane

stevekane's Stars

• taichi-dev/taichi

  Productive, portable, and performant GPU programming in Python.

  Language:C++26.4k3892.7k2.3k

• KaTeX/KaTeX

  Fast math typesetting for the web.

  Language:JavaScript18.5k2831.6k1.2k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.6k104189409

• jlevy/og-equity-compensation

  Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec

  9.4k20055483

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.6k119757349

• mxgmn/MarkovJunior

  Probabilistic language based on pattern matching and constraint propagation, 153 examples

  Language:C#7.6k9428318

• trogdoro/xiki

  A shell console with GUI features

  Language:Ruby3.8k207137209

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k74216143

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k631.2k379

• taichi-dev/difftaichi

  10 differentiable physical simulators built with Taichi differentiable programming (DiffTaichi, ICLR 2020)

  2.5k6343259

• Unity-Technologies/com.unity.netcode.gameobjects

  Netcode for GameObjects is a high-level netcode SDK that provides networking capabilities to GameObject/MonoBehaviour workflows within Unity and sits on top of underlying transport layer.

  Language:C#2.2k4651.1k438

• andymatuschak/orbit

  Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention

  Language:TypeScript1.7k3222954

• Unity-Technologies/multiplayer

  Unity multiplayer packages and samples

  1.3k7480203

• maximecb/noisecraft

  Browser-based visual programming language and platform for sound synthesis.

  Language:JavaScript1.1k186261

• UniMath/UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  Language:Coq96657525173

• souffle-lang/souffle

  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  Language:C++94141859211

• the-little-typer/pie

  The Pie language, which accompanies The Little Typer by Friedman and Christiansen

  Language:Racket700343157

• Unity-Technologies/Standard-Assets-Characters

  Unity Standard Asset Controllers

  Language:C#6094917166

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda3712115668

• SolarianZ/UnityPlayableGraphMonitorTool

  A tool for monitoring the PlayableGraph in real-time within the Unity Editor.

  Language:C#351101728

• nialltl/incremental_mpm

  2D implementation of MLS-MPM for simulating soft bodies and fluids

  Language:C#35012128

• david-christiansen/pie-hs

  An implementation of Pie in Haskell

  Language:Haskell204141016

• penn-graphics-research/claymore

  Language:Cuda2026830

• asaia/BleedingEdgeEffects_GDC_2020

  Demo Project for Bleeding Edge Effects on Mobile 2020 GDC talk

  Language:ShaderLab94609

• asaia/Softbody_Physics_UE5

  Implementation of the "A Constraint-based Formulation of Stable Neo-Hookean Materials" paper in UE5

  Language:C++422411

• msr-quarc/ReVerC

  Verified compilation of space-efficient reversible circuits

  Language:F*201023

• AmazingThew/KnobMonitor

  Windows GUI frontent for Knob Sock

  Language:C++14101

• mpcomplete/gamejam2020

  Entry for the GMTK 2020 game jam

  Language:C#1300

• mpcomplete/grappler

  Language:C#130

• stevekane/Blog

  Here lies a blog

  120