Skip to content
View scristobal's full-sized avatar
🐒
Live slow to code fast
🐒
Live slow to code fast

Sponsoring

@lpil
@giacomocavalieri
@GearsDatapacks
@gleam-lang

Block or report scristobal

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Stars

πŸ“š Reads

186 repositories

🌠 An overview of the JavaScript landscape in 2024: trends about frontend, Node.js, fullstack frameworks, build tools, testing, Vue.js, React, state management...

Astro 1,112 67 Updated Jan 27, 2025

the 'game boy development community' institutional website: showcases projects and hosts some community content

Assembly 29 13 Updated Nov 26, 2025

Game Development & Unreal Engine Programming Guide

PowerShell 1,066 108 Updated Nov 20, 2025

BLAS-like Library Instantiation Software Framework

C 2,561 405 Updated Nov 11, 2025

Writing an OS in Rust

HTML 17,064 1,183 Updated Oct 7, 2025

A simple C++ framework for implementing graphics technique samples using OpenGL and Vulkan.

C 259 27 Updated Aug 7, 2025

πŸ”©πŸ”ŒπŸ“¬ An example of Rust compiling to WASM and passing Cap'n Proto messages to JavaScript.

Rust 20 1 Updated Apr 3, 2018

Optimizer and compiler/toolchain library for WebAssembly

WebAssembly 8,203 829 Updated Nov 28, 2025

Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.

C 4,326 491 Updated Oct 27, 2025

A curated list of awesome WebGL libraries, resources and much more

1,444 91 Updated Feb 15, 2025

πŸŽ“ Daily WebGL tutorials

JavaScript 225 14 Updated Aug 28, 2024

The Xr0 Verifier for C

C 180 4 Updated Apr 18, 2025

An uroboros program with 100+ programming languages

Ruby 14,268 559 Updated Oct 24, 2025

Making it easier to work with shaders

C++ 4,779 379 Updated Nov 28, 2025

clang running in browser (wasm)

C++ 853 61 Updated Oct 22, 2022

A simple interpreted language written in Elixir

Elixir 26 1 Updated Mar 29, 2017

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

Assembly 31,589 4,519 Updated Apr 25, 2024

Interactive Tutorials

Python 4,561 2,777 Updated Nov 24, 2025

Port of Doom to UEFI.

C 304 13 Updated Dec 22, 2024
Rust 98 6 Updated Sep 28, 2024

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Rust 32,337 1,932 Updated Nov 17, 2025

A tiny FPS for js13k

JavaScript 1,909 130 Updated Aug 30, 2024

WebGPU Samples

TypeScript 2,034 346 Updated Oct 17, 2025

Gameboy Emulator in Rust

Rust 163 11 Updated Aug 17, 2022

Lean 4 programming language and theorem prover

Lean 6,798 702 Updated Nov 28, 2025

Interactive neural theorem proving in Lean

Lean 131 7 Updated Mar 24, 2022

Practice in functional programming with Lean 4 via Advent of Code 2022

Lean 2 Updated Apr 3, 2023

Advent of Code 2022 solutions: Lean4

Lean 6 1 Updated Dec 29, 2022