Manuel de Prada Corral

BVD. Python

arxivable. Prepare Overleaf LaTeX papers for arXiv submission. One command to strip comments, remove todos, clean unused files, ensure arXiv compatibility, check that the PDF has no diff and produce a ready-to-upload zip.

uncalibrated_reasoning. Code repository for "Uncalibrated Reasoning: GRPO Induces Overconfidence for Stochastic Outcomes"

portfolio. Track and evaluate the performance of your investment portfolio across stocks, cryptocurrencies, and other assets.

WinDiskWriter. 🖥 Windows Bootable USB creator for macOS. 🛠 Patches Windows 11 to bypass TPM and Secure Boot requirements. 👾 UEFI & Legacy Support

uzu. A high-performance inference engine for AI models

llamppl. Probabilistic programming with large language models

genlm-control. Controlled text generation with programmable constraints

tabscolor-vscode. change the color of vscode tabs

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

determinantal-point-processes. Determinantal Point Processes in Python (NumPy)

pyscaffold-demo. 📽 Demonstration of initial project structure generated by PyScaffold

retry. Repeat a command until the command succeeds.

picotron. Minimalistic 4D-parallelism distributed training framework for education purpose

gfn-lm-tuning. Jupyter Notebook

hiring-without-whiteboards. ⭐️ Companies that don't have a broken hiring process

particles. Sequential Monte Carlo in python

LogiOps. Adwaita baised UI configurator for PixelOne/LogiOps

dot-to-ascii. Graphviz to ASCII converter using Graph::Easy

instagram-users-scraper. Instagram Scraper. Scrape Instagram followers, following list, and post authors. Download CSV files with Instagram users from followers, following, tag and location pages.

free-threaded-compatibility. A central repository to keep track of the status of work on and support for free-threaded CPython (see PEP 703), with a focus on the scientific and ML/AI ecosystem

expo-router-3-tab-example-with-auth. TypeScript

irpf. Calculadora del IRPF

presupuesto. Aplicación de visualización de presupuestos

rustdesk. An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

mbr. Minimum Bayes Risk Decoding for Hugging Face Transformers

pcfg-lm. Repo for the EMNLP 2023 Findings paper "Transparency at the Source"

zsign. Fast Cross-Platform iOS Code Signing Tool

pdfarranger. Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.

PDF4QT. Open source PDF editor.

Battery-Health-Charging. Gnome extension to Set battery charging threshold / charging limit / charging mode Battery Health Charging: An extension to maximize the battery life of laptops by setting their charging threshold or modes.

Stewardess. IntelliJ LivePlugin that adds functionality to Copilot by offering word-by-word completion

nanoT5. Fast & Simple repository for pre-training and fine-tuning T5-style models

lpython. Python compiler

lume. 🔥🪰 Static site generator for Deno

vento. 🌬 A light and fast template engine for Deno, Node, Bun and browsers

mbr-for-nmt. Characterizing the performance of minimum Bayes risk (MBR) decoding for neural machine translation (NMT) when using various candidate generation methods by examining BLEU score, length bias, and token frequency bias. [CS287: Deep Learning for Natural Language Processing, Final Project, Fall 2021]

OneDriveGUI. A simple GUI for OneDrive Linux client with multi-account support.

ChatPaper. Use ChatGPT to summarize the arXiv papers. 全流程加速科研，利用chatgpt进行论文全文总结+专业翻译+润色+审稿+审稿回复

gitfolio. :octocat: personal website + blog for every github user

karngyan.com. Personal site + blog template: TanStack Start, React 19, Tailwind CSS v4, shadcn/ui, MDX articles, RSS - deploys to Cloudflare Workers. Fork it and make it yours.

opencart. A free shopping cart system. OpenCart is an open source PHP-based online e-commerce solution.

elasticsearch-ecommerce-search-app. A small Micronaut based demo environment to show Elasticsearch as a product search engine

JitStreamer. A service to activate JIT across the far reaches of the internet

pyplexity. Cleaning tool for web scraped text

nogil. Multithreaded Python without the GIL

zoomdl. Download Zoom recorded meetings easily

parser. :rocket: State-of-the-art parsers for natural language.

destreamer. Save Microsoft Stream videos for offline enjoyment.

wikiextractor. A tool for extracting plain text from Wikipedia dumps

finetuning-t5. Python

whatsapp-viewer. Small tool to display chats from the Android msgstore.db database (crypt12)

ParticleGround-Portfolio. A minimalistic particle theme landing page template. ⚛️

overleaf-docker-sharelatex. Overleaf Build with plantuml and graphviz support

texstudio. TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

active-forks. Find active github forks of a repo https://git.io/vSnrC

onedrive. OneDrive Client for Linux

machine_learning_workshop_gdg2018. Material for the workshop Machine Learning in practice, GDG DevFest Galicia 2018

talon-for-twitter-android. The most powerful and beautiful Twitter client available.