Skip to content
View PabloLION's full-sized avatar
🔍
Looking for half-time job
🔍
Looking for half-time job
  • Barcelona, Spain

Block or report PabloLION

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

An open source flash player implementation

C++ 1,813 223 Updated Jan 20, 2025

Minimal Bitcoin JSON-RPC Python asynchronous client

Python 34 13 Updated Feb 11, 2024

The math library of Lean 4

Lean 1,686 367 Updated Jan 22, 2025

An open-source protocol designed to create high-performance, local-first, peer-to-peer, end-to-end encrypted applications that facilitate seamless collaboration among multiple users and devices

Go 1,105 58 Updated Jan 22, 2025

Official Anytype client for MacOS, Linux, and Windows

TypeScript 4,787 282 Updated Jan 22, 2025

An ASGI web server, for Python. 🦄

Python 8,798 757 Updated Jan 13, 2025
Python 1 Updated Nov 21, 2024

Export iMessage data + run iMessage Diagnostics

Rust 3,340 143 Updated Jan 16, 2025

Liar's Dice AI in Pytorch: www.dudo.ai

Python 26 9 Updated Apr 19, 2023

An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

Python 7,930 895 Updated Jan 17, 2025

Open-ended wargames with large language models

Python 22 5 Updated Jan 7, 2025

A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.

TypeScript 28,186 1,849 Updated Jan 17, 2025

The most advanced browser fingerprinting library.

TypeScript 23,660 2,329 Updated Jan 22, 2025

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Jupyter Notebook 3,987 1,062 Updated Jan 1, 2025

MagicMirror² is an open source modular smart mirror platform. With a growing list of installable modules, the MagicMirror² allows you to convert your hallway or bathroom mirror into your personal a…

JavaScript 20,832 4,278 Updated Jan 19, 2025

React component for xterm.js terminal integration

TypeScript 8 Updated Jan 20, 2025

The open-source package registry for modern JavaScript and TypeScript

Rust 2,608 127 Updated Jan 21, 2025

Recipe viewer for Dyson Sphere Program

Rust 1 1 Updated Feb 13, 2021
Python 2 Updated Jan 31, 2024

Some ideas formed in daily life

1 Updated Oct 14, 2023

An ultra-light MacOS utility that helps hide menu bar icons

Swift 11,757 315 Updated Aug 15, 2023

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

Python 26,971 839 Updated Jan 22, 2025

surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease

Vim Script 13,565 443 Updated Jun 30, 2024

Improve your Baduk skills by training with KataGo!

Python 1,711 232 Updated Nov 25, 2024

Markup and draw your system diagrams with React.

TypeScript 165 10 Updated Jan 17, 2024

OI / ACM essays and learning materials

Rich Text Format 1,434 362 Updated Jun 14, 2024

Visualization of Ukkonen's algorithm

Elm 96 19 Updated Jul 4, 2018

A debugging and profiling tool that can trace and visualize python code execution

Python 5,887 413 Updated Jan 15, 2025

Create graphs from your CommonJS, AMD or ES6 module dependencies

JavaScript 9,213 326 Updated Sep 12, 2024

Framework to automate development of Algorand Assets and Smart Contracts.

TypeScript 131 43 Updated Jul 18, 2023
Next
Showing results