kriku

kriku's Stars

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust99k1.5k55.5k12.8k

• microsoft/playwright

  Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

  Language:TypeScript67.3k47614.8k3.7k

• peng-zhihui/Dummy-Robot

  我的超迷你机械臂机器人项目。

  Language:C12.4k3351742.7k

• zephyrproject-rtos/zephyr

  Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

  Language:C11k40823.2k6.7k

• elm/compiler

  Compiler for Elm, a functional language for reliable webapps.

  Language:Haskell7.6k2011.7k662

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k1161.1k217

• seasonedcc/domain-functions

  Decouple your business logic from your framework. With first-class type inference from end to end.

  Language:TypeScript59592414

• yandexdataschool/deep_vision_and_graphics

  Course about deep learning for computer vision and graphics co-developed by YSDA and Skoltech.

  Language:Jupyter Notebook30624293

• wj-zhe/Kretstrad

  49126

• JetsonHacksNano/SPI-Playground

  23454