intsuc's Following
- aya-prover
- BabylonJS
- ekmettPositron AI
- eldeshTokyo
- enkimute
- eprover
- Eroxen
- gfx-rsEarth
- graalvm
- greggmanEarth
- herbie-fp
- hermit-os
- Hirrolot@lava-xyz
- immersive-webThe Metaverse
- jeremyongAmazon
- jfecher
- JonasWanke@agym-co
- KhronosGroupUnited States of America
- L-TChenInstitute of Information Science, Academia Sinica
- leanprover-community
- MarcelGarusHasso Plattner Institute
- mbucchiaSeattle, Washington, United States
- noname0310seoul korea
- openjdk
- phateNorwegian University of Science and Technology
- phil-oppKarlsruhe, Germany
- RayTracing
- simdjson
- simonpjEpic Games
- slimed-kyuri
- tauri-apps
- thiagofelicissimo
- toji@google
- vrchat
- w3cWorld Wide Web
- webgpu