molikto

molikto's Stars

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust33.6k2955k3.3k

• fogleman/Craft

  A simple Minecraft clone written in C using modern OpenGL (shaders).

  Language:C10.3k3561611.4k

• linebender/druid

  A data-first Rust-native UI design toolkit.

  Language:Rust9.4k100811568

• a-b-street/abstreet

  Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

  Language:Rust7.4k76553331

• MaterializeInc/materialize

  The data warehouse for operational workloads.

  Language:Rust5.7k728.2k457

• EmbarkStudios/kajiya

  💡 Experimental real-time global illumination renderer 🦀

  Language:Rust4.7k8146173

• emilbaehr/automatic-app-landing-page

  A Jekyll theme for automatically generating and deploying landing page sites for mobile apps.

  Language:SCSS3.4k42321.6k

• TimelyDataflow/timely-dataflow

  A modular implementation of timely dataflow in Rust

  Language:Rust3.2k87174272

• JetBrains/skija

  Java bindings for Skia

  Language:Java2.6k67105124

• embree/embree

  Embree ray tracing kernels repository.

  Language:C++2.3k125377377

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k55778189

• Zer0-bit/gaggiuino

  A Gaggia Classic control project using microcontrollers.

  Language:C++1.8k9427238

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.3k23130127

• scala/scala-async

  An asynchronous programming facility for Scala

  Language:Scala1.1k548892

• dado3212/spaces-renamer

  💻 Ability to rename desktop spaces on macOS 10.10+

  Language:Objective-C1k357729

• ivanceras/sauron-native

  Truly cross platform, truly native. multiple backend GUI for rust

  Language:Rust63127415

• JMS55/sandbox

  A sand simulation game

  Language:Rust30471011

• effekt-lang/effekt

  A research language with effect handlers and lightweight effect polymorphism

  Language:Scala302821914

• vilterp/datalog-ts

  a datalog interpreter in typescript

  Language:TypeScript1974267

• nyorain/rvg

  High level vulkan 2D vector-like graphics api (C++)

  Language:C18416910

• jbikker/WrldTmpl8

  Retro coding in C/C++ in a 3D template with full low-level control.

  Language:C16110815

• zotero/web-library

  Language:JavaScript1411152845

• BreezeWhite/Music-Transcription-with-Semantic-Segmentation

  Automatic music transcription using semantic segmentation model. Reached state-of-the-art score on MAPS and MusicNet.

  Language:Python13481022

• mightycow/Sluggish

  Toy CPU and GPU implementations of the Slug rendering algorithm

  Language:C1095112

• AndrasKovacs/setoidtt

  Prototype implementations of systems based on setoid type theory

  Language:Haskell641631

• guillaumebrunerie/initiality

  A formalized proof of a version of the initiality conjecture

  Language:Agda40903

• playXE/libimmixcons

  Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.

  Language:Rust37201

• nekr0z/gphotosync

  an app to download pictures and videos stored in your Google Photos

  Language:Go17402

• ilya-klyuchnikov/minimetamix

  minimetamix - a collection of simple and minimalistic items

  Language:Scala6181

• francisA88/Guide-the-Ball-1

  A cool physics based 2d game made with Python and Kivy!

  Language:Python4200