Skip to content
View Vtec234's full-sized avatar

Organizations

@compsoc-edinburgh @leanprover @crossbeam-rs @cr0wnctf

Block or report Vtec234

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
Showing results

Linux kernel source tree

C 216,639 60,372 Updated Feb 8, 2026

Vim-fork focused on extensibility and usability

Vim Script 96,315 6,574 Updated Feb 8, 2026

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Rust 59,681 2,392 Updated Dec 17, 2025

A markup-based typesetting system that is powerful and easy to learn.

Rust 51,136 1,451 Updated Feb 7, 2026

The Julia Programming Language

Julia 48,335 5,733 Updated Feb 8, 2026

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadm…

Clojure 40,823 2,443 Updated Feb 8, 2026

The official Vim repository

Vim Script 39,791 5,977 Updated Feb 8, 2026

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Rust 35,389 3,469 Updated Feb 8, 2026

stb single-file public domain libraries for C/C++

C 32,422 8,004 Updated Oct 25, 2025

A book-in-progress about the Linux kernel and its insides.

Python 32,164 3,494 Updated Feb 8, 2026

Python sample codes and textbook for robotics algorithms.

Python 28,597 7,212 Updated Feb 3, 2026

A good looking terminal emulator which mimics the old cathode display...

QML 25,093 954 Updated Jan 22, 2026

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Java 23,232 789 Updated Jul 15, 2024

Torch implementation of neural style algorithm

Lua 18,302 2,670 Updated Feb 23, 2018

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Rust 17,554 1,614 Updated Feb 6, 2026

Writing an OS in Rust

HTML 17,274 1,191 Updated Feb 8, 2026

i3-compatible Wayland compositor

C 16,565 1,236 Updated Feb 3, 2026

A cross-platform, safe, pure-Rust graphics API.

Rust 16,311 1,206 Updated Feb 8, 2026

pix2tex: Using a ViT to convert images of equations into LaTeX code.

Python 16,170 1,281 Updated Jan 18, 2025

Play with fluids in your browser (works even on mobile)

JavaScript 16,110 1,847 Updated Nov 12, 2024

A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input

C 14,671 5,795 Updated Feb 5, 2026

A single-header ANSI C gui library

C 14,185 1,108 Updated Jan 3, 2020

Clone of the Age of Empires II engine 🚀

Python 14,071 1,229 Updated Jun 14, 2025

The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.

C++ 12,711 3,140 Updated Feb 6, 2026

Defines a common protocol for language servers.

HTML 12,560 928 Updated Feb 2, 2026

instant coding answers via the command line

Python 10,811 867 Updated Oct 22, 2024

RenderDoc is a stand-alone graphics debugging tool.

C++ 10,384 1,542 Updated Feb 6, 2026

Implementation of Nougat Neural Optical Understanding for Academic Documents

Python 9,827 625 Updated Feb 21, 2025

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

Rust 9,424 207 Updated Jan 20, 2026

Sioyek is a PDF viewer with a focus on textbooks and research papers

C 8,513 295 Updated Feb 4, 2026
Next