ktrianta

ktrianta's Stars

• Dedaub/audits

  Repository containing past audit reports

  534

• timokoesters/nbodysim

  Realtime 3D N-Body-Simulation

  Language:Rust45216

• facebookexperimental/MIRAI

  Rust mid-level IR Abstract Interpreter

  Language:Rust1k84

• Developer-Y/the-talks

  15749

• Developer-Y/cs-video-courses

  List of Computer Science courses with video lectures.

  66.5k9.1k

• libretro/RetroArch

  Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.

  Language:C10.1k1.8k

• gkastrinis/panda

  A Datalog compiler and library

  Language:Groovy181

• kdn251/interviews

  Everything you need to know to get the job.

  Language:Java63.4k12.9k

• 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++911200