Skip to content
View marcushg2's full-sized avatar

Block or report marcushg2

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…

C 3,253 170 Updated Jan 27, 2025

A workshop on Linux containers: Rebuild Docker from Scratch

Python 3,016 238 Updated Jul 28, 2024

Curated list of project-based tutorials

215,013 28,054 Updated Aug 15, 2024

VS Code in the browser

TypeScript 69,579 5,742 Updated Jan 21, 2025

BLE trackpad

C++ 5 2 Updated Sep 29, 2021

Master programming by recreating your favorite technologies from scratch.

Markdown 329,003 30,482 Updated Sep 3, 2024

🎮 A step-by-step guide to implementing SSAO, depth of field, lighting, normal mapping, and more for your 3D game.

C++ 18,280 1,404 Updated Jun 25, 2023
JavaScript 2 Updated Dec 9, 2024
JavaScript 8 2 Updated Dec 22, 2024

A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search

TypeScript 12,533 458 Updated Jan 28, 2025

The user-friendly command line shell.

Rust 27,765 1,964 Updated Jan 29, 2025

Virtual Machine for the Web

Svelte 11,562 1,791 Updated Jan 29, 2025

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

Rust 4,704 130 Updated Jan 29, 2025

An open-source & self-hostable Heroku / Netlify / Vercel alternative.

PHP 36,835 2,117 Updated Jan 28, 2025

A python parametric CAD scripting framework based on OCCT

Python 3,398 302 Updated Jan 29, 2025

TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)

TypeScript 3,376 123 Updated Oct 24, 2024

Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.

Rust 5,641 261 Updated Jan 29, 2025

keybrd library is an open source library for creating custom-keyboard firmware.

C++ 79 14 Updated Jul 23, 2018

Taking Keyboards to the Final Frontier

TypeScript 401 34 Updated Jan 21, 2025

Tools for developers to create truly open IoT products using standard JavaScript on low cost microcontrollers.

C 1,380 239 Updated Jan 21, 2025
171 8 Updated Jun 14, 2022

Build system and configuration files for generating and building ZMK firmware with Nix

Nix 79 21 Updated Jan 26, 2025

This project converts structured Lean code into an interactive browser game.

TypeScript 75 16 Updated Nov 15, 2023

Mathport is a tool for porting Lean3 projects to Lean4

Lean 43 15 Updated Nov 21, 2024

Complex Analysis: A Visual and Interactive Introduction

HTML 169 33 Updated Jan 21, 2025

Lean 4 programming language and theorem prover

Lean 4,994 454 Updated Jan 30, 2025

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

HTML 409 23 Updated Jan 24, 2025
Next
Showing results