Skip to content
View romainvacheret's full-sized avatar
  • @lip6 (CNRS & Sorbonne Université)
  • Paris

Highlights

  • Pro

Block or report romainvacheret

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
Stars

Tools

27 repositories

Cross-platform, fast, feature-rich, GPU based terminal

Python 23,784 960 Updated Sep 15, 2024

Simple Python version management

Roff 38,618 3,017 Updated Sep 12, 2024

🎨 Diagram as Code for prototyping cloud system architectures

Python 36,840 2,393 Updated Jul 21, 2024

Docker images and test runners that replicate the live AWS Lambda environment

C# 5,830 431 Updated Jan 15, 2023

A tool for glamorous shell scripts 🎀

Go 17,797 339 Updated Sep 12, 2024

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

C 12,842 5,168 Updated Aug 15, 2024

A tiling window manager for macOS based on binary space partitioning

C 23,118 640 Updated Sep 1, 2024

Count your code, quickly.

Rust 10,912 531 Updated Sep 1, 2024

Automatic tiling window manager for macOS à la xmonad.

Swift 14,638 486 Updated Jul 23, 2024

🎴 An Anki plugin for Obsidian.md

TypeScript 891 86 Updated Oct 8, 2023

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

JavaScript 70,684 6,333 Updated Sep 13, 2024

Chinese Mandarin tts text-to-speech 中文 (普通话) 语音 合成 , by fastspeech 2 , implemented in pytorch, using waveglow as vocoder, with biaobei and aishell3 datasets

Python 460 109 Updated May 28, 2022

Virtual machines for iOS and macOS

Swift 26,316 1,317 Updated Aug 25, 2024

Visualize Your Ideas With Code

TypeScript 15,870 591 Updated Aug 28, 2024

Run your GitHub Actions locally 🚀

Go 53,916 1,345 Updated Sep 13, 2024

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

V 35,670 2,152 Updated Sep 14, 2024

Language Server for SonarLint VSCode

Java 76 20 Updated Sep 3, 2024

A cross-platform, OpenGL terminal emulator.

Rust 55,556 2,991 Updated Sep 10, 2024

State of the art mutation testing system for the JVM

Java 1,671 357 Updated Sep 5, 2024

software version control visualization

C++ 11,452 722 Updated Jun 17, 2024

Invidious is an alternative front-end to YouTube

Crystal 16,051 1,771 Updated Aug 26, 2024

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

JavaScript 9,993 739 Updated Sep 13, 2024

There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…

TypeScript 40,418 2,604 Updated Sep 15, 2024

An extremely fast Python linter and code formatter, written in Rust.

Rust 30,968 1,026 Updated Sep 15, 2024

An incremental parsing system for programming tools

Rust 18,042 1,364 Updated Sep 15, 2024

Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow

C++ 26,104 8,699 Updated Sep 13, 2024

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…

CSS 1,290 284 Updated Sep 14, 2024