Skip to content
View Vocula's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
  • Universitat de Barcelona
  • Barcelona, Spain

Block or report Vocula

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results
HTML 3 Updated Mar 5, 2022

Assets for /r/bitwarden

396 21 Updated Jul 18, 2025

EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).

186 20 Updated Sep 28, 2021

🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解

Java 36,461 9,483 Updated Aug 15, 2026

Simulation of path planning for self-driving vehicles in Unity. This is also an implementation of the Hybrid A* pathfinding algorithm which is useful if you are interested in pathfinding for vehicles.

C# 462 104 Updated Sep 6, 2023

Learn how to implement boat physics in Unity

C# 126 37 Updated Jan 31, 2022

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

TypeScript 200,781 60,147 Updated Aug 15, 2026

Rocq plugin embedding Elpi

OCaml 194 80 Updated Aug 12, 2026

Terminal Kit - Console UI toolkit for Swift applications

Swift 566 28 Updated Feb 1, 2026

Swift Bindings to the Skia 2D graphics Library

Swift 158 32 Updated Jul 4, 2023

🏡 Open source home automation that puts local control and privacy first.

Python 89,940 38,365 Updated Aug 15, 2026

Microsoft PowerToys is a collection of utilities that supercharge productivity and customization on Windows

C 137,788 8,483 Updated Aug 15, 2026

Biblioteca de algoritmos, estruturas de dados e primitivas para Maratona de Programação (ICPC) da UFMG.

C++ 437 43 Updated Aug 6, 2026

Runtime Inspector and Hierarchy solution for Unity for debugging and runtime editing purposes

C# 2,155 154 Updated Apr 4, 2026

Focus on what matters instead of fighting with Git.

TypeScript 21,754 10,492 Updated Aug 14, 2026

Programmer's guide about how to cook at home.

101,827 11,082 Updated Aug 9, 2026

These scripts will make your UGUI ScrollRect reusing cells, to improve performance, loading time and draw calls.

C# 2,763 490 Updated Jun 7, 2026

The best way to implement singleton pattern in Unity.

C# 701 71 Updated Jan 27, 2026

我的Unity框架,包含资源加载,配置加载,数据加载,UI管理,日志管理,动画系统,特效系统

C# 2,182 560 Updated Oct 13, 2020

Unity asset for adding outlines to game objects

C# 687 71 Updated May 23, 2024

Rocq RFCs: documents to discuss changes to the Rocq Prover

64 37 Updated Jan 15, 2025

Mathematical Components

Rocq Prover 694 134 Updated Aug 5, 2026

Flutter makes it easy and fast to build beautiful apps for mobile and beyond

Dart 178,402 30,960 Updated Aug 15, 2026

Production-grade client-side tracing, profiling, and analysis for complex software systems.

C++ 6,348 855 Updated Aug 15, 2026

Pear 🍐 is extension for music player

TypeScript 33,072 1,950 Updated Aug 14, 2026

A Unity extension for inspector enhancement and data serialization.

C# 729 33 Updated Aug 14, 2026

Archive for all Rocq and Coq-related opam packages organized in various repositories

OCaml 172 183 Updated Aug 12, 2026

Bitcoin Core integration/staging tree

C++ 89,908 39,289 Updated Aug 15, 2026

CakeML: A Verified Implementation of ML

Standard ML 1,183 99 Updated Aug 15, 2026

A framework for building native applications using React

C++ 126,358 25,216 Updated Aug 15, 2026
Next