10000 VPerrollaz (Vincent Perrollaz) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View VPerrollaz's full-sized avatar

Block or report VPerrollaz

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

Starred repositories

Showing results

The simple but flexible text editor

Rust 3,528 115 Updated Mar 13, 2025

a small statically-linked linux system

Roff 2,953 88 Updated Jun 4, 2025

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

Rust 8,901 192 Updated May 11, 2025

A Lean companion to Analysis I

Lean 792 95 Updated Jun 26, 2025

A numerical scheme to approximate the solutions of the Hughes model using a finite volume scheme for the scalar conservation law and a fast marching algorithm for the Eikonal equation.

Python 1 Updated Jun 11, 2025

Performant, batteries-included completion plugin for Neovim

Lua 4,791 278 Updated Jun 26, 2025

An extremely fast Python type checker and language server, written in Rust.

Python 10,266 92 Updated Jun 25, 2025

R.L. methods and techniques.

Python 190 10 Updated Nov 17, 2024

A short guide to LaTeX that avoids legacy cruft.

TeX 842 22 Updated Oct 26, 2022

An applied Linear Algebra textbook flavored with Earth Science topics

TeX 117 5 Updated May 4, 2025

2D & 3D TeX-Aware Vector Graphics Language

C 603 95 Updated Jun 27, 2025

Rust programming, in French.

Rust 1,557 202 Updated Jun 2, 2025

Le docker français 🐳 🇫🇷

Python 1,676 47 Updated Feb 8, 2023

Mathematical tools to use with amsmath

TeX 64 7 Updated Oct 7, 2024

Hypertext support for LaTeX

TeX 187 38 Updated Jun 22, 2025

An embedded scheme interpreter in Rust

Rust 1,801 76 Updated Jun 23, 2025

Vimtex source for nvim-cmp.

Lua 100 6 Updated Aug 6, 2024

Preview file types using rich in Yazi

Lua 41 4 Updated May 31, 2025

The math library of Lean 4

Lean 2,115 579 Updated Jun 27, 2025

Idiomatic Zig bindings for raylib utilizing raylib_parser

Zig 245 36 Updated Jun 12, 2024

📜 CCL: Categorical Configuration Language, The most elegant configuration language

OCaml 222 2 Updated Feb 21, 2025

🍿 A collection of QoL plugins for Neovim

Lua 5,299 261 Updated Jun 22, 2025

A keyboard-driven, vim-like browser based on Python and Qt.

Python 10,617 1,040 Updated Jun 25, 2025

PKM Markdown Language Server

Rust 1,479 37 Updated Jun 26, 2025

Neovim file explorer: edit your filesystem like a buffer

Lua 5,306 157 Updated Jun 4, 2025

How you (yes, you!) can write a Polars Plugin

Python 142 13 Updated Mar 28, 2025

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

Rust 1,728 75 Updated Jun 26, 2025

An implementation of numbered theorem environments in typst

Typst 254 16 Updated Jun 17, 2025

A shell🐚 by the beach🏖️!

Rust 1,059 20 Updated Jun 19, 2025
Next
0