mwobat

mwobat's Stars

• valinet/ExplorerPatcher

  This project aims to enhance the working environment on Windows

  Language:C24.4k1k

• RodZill4/material-maker

  A procedural textures authoring and 3D model painting tool based on the Godot game engine

  Language:GDScript3.5k219

• colmap/colmap

  COLMAP - Structure-from-Motion and Multi-View Stereo

  Language:C++7.6k1.5k

• alicevision/Meshroom

  3D Reconstruction Software

  Language:Python11.1k1.1k

• ev3dev/ev3dev

  ev3dev meta - bug tracking, wiki and releases

  63785

• chaosprint/glicol

  Graph-oriented live coding language and music/audio DSP library written in Rust

  Language:Rust2.2k74

• pixix4/ev3dev-lang-rust

  Rust language bindings for http://ev3dev.org

  Language:Rust7314

• sagemath/sage

  Main repository of SageMath

  Language:Python1.4k470

• jakobhellermann/bevy_editor_pls

  In-App editor tools for bevy applications

  Language:Rust74378

• charmbracelet/vhs

  Your CLI home video recorder 📼

  Language:Go15k251

• tajmone/awesome-interactive-fiction

  A list of interactive fiction frameworks, tools, and resources

  Language:Shell17013

• google/deepdream

  13.2k3.2k

• gliderkite/formicarium

  Ant colony simulator

  Language:Rust482

• godotengine/godot

  Godot Engine – Multi-platform 2D and 3D game engine

  Language:C++90.2k21k

• catseye/Maxixe

  MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

  Language:Python10

• math-o-matic/math-o-matic

  Computerized proof system on the web

  Language:TypeScript6

• cpressey/LCF-style-ND

  Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system

  5

• botoxparty/XP.css

  A CSS framework for building faithful recreations of operating system GUIs.

  Language:SCSS2.2k106

• divshot/geo-bootstrap

  A timeless Twitter Bootstrap theme built for the modern web.

  Language:HTML2.1k141

• microsoft/vscode

  Visual Studio Code

  Language:TypeScript163k29k

• dart-archive/jnigen

  Experimental bindings generator for Java bindings through dart:ffi and JNI.

  Language:Dart15212

• icebreaker-fpga/icebreaker

  Small and low cost FPGA educational and development board

  56773

• nomeata/incredible

  The Incredible Proof Machine

  Language:Haskell35936

• taiki-e/auto_enums

  A library for to allow multiple return types by automatically generated enum.

  Language:Rust34812

• ekzhang/rustpad

  Efficient and minimal collaborative code editor, self-hosted, no database required

  Language:Rust3.5k149

• AngelOnFira/nadya

  A visually pleasing language for langjam 3

  Language:Rust171

• lukaslueg/macro_railroad

  A library to generate syntax diagrams for Rust macros.

  Language:Rust53611

• ivanceras/svgbob

  Convert your ascii diagram scribbles into happy little SVG

  Language:Rust3.9k109

• zesterer/chumsky

  Write expressive, high-performance parsers with ease.

  Language:Rust3.6k152

• rust-lang/regex

  An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

  Language:Rust3.5k440