SimonDaniel21

SimonDaniel21's Stars

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k399

• gshen42/chor-alg.paper

  Language:TeX2

• peterthiemann/definitional-session

  Language:Agda12

• ShapeOfMatter/MultiChor

  Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.

  Language:TeX8

• lsd-ucsc/ChoRus

  🎶 Choreographic programming in Rust 🎶

  Language:Rust372

• Lime3DS/Lime3DS

  A 3DS emulator based on Citra

  Language:C++1.9k110

• PabloMK7/citra

  A Nintendo 3DS Emulator

  Language:C++3.4k601

• xubaiw/Socket.lean

  A toy implementation of socket programming for Lean 4.

  Language:C269

• hargoniX/socket.lean

  sockets for Lean 4

  Language:Lean1710

• gshen42/HasChor

  Functional choreographic programming in Haskell

  Language:Haskell7813

• sotrh/learn-wgpu

  Guide for using gfx-rs's wgpu library.

  Language:Rust1.5k259

• bbodi/rustarok

  Multiplayer, fast-paced Moba style game

  Language:Rust27529

• hzwer/ECCV2022-RIFE

  ECCV2022 - Real-Time Intermediate Flow Estimation for Video Frame Interpolation

  Language:Python4.4k436

• SFML/imgui-sfml

  Dear ImGui backend for use with SFML

  Language:C++1.1k166