-
Università di Pavia
- Milano
- https://orcid.org/0000-0003-0105-3449
- @gevero
Starred repositories
Add-On to NGSolve for unfitted finite element discretizations (XFEM, CutFEM, TraceFEM, etc...)
ViT-Up: Faithful Feature Upsampling for Vision Transformers
Run applications through VPN tunnels with temporary network namespaces
A React-based library for creating sleek presentations using JSX syntax that gives you the ability to live demo your code.
A Python library for simulating optical systems, similar to Zemax
Comprehensive optical design, optimization, and analysis in Python, including GPU-accelerated and differentiable ray tracing via PyTorch.
Finite-element library for analysis and adjoint-based gradient evaluation
Lego-like building blocks for Finite Element Analysis
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
Constrained optimization for Pytorch using the SQP-GS algorithm
GPU-accelerated differentiable sparse linear solver library for JAX
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing…
The open-source app everyone uses to manage agents at work
An offline-first scientific writing workspace powered by Claude. LaTeX + Python + 100+ scientific skills all running locally.
METIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering
Academic Research Skills for Claude Code: research → write → review → revise → finalize
Easily migrate your codebase from one framework or language to another.
AI Agent and CLI for Code Translation and Software Development in Scientific Computing
music library manager and MusicBrainz tagger
Linear solvers in JAX and Equinox. https://docs.kidger.site/lineax
Official inference framework for 1-bit LLMs
Fabric is an open-source framework for augmenting humans using AI. It provides a modular system for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.
The agent that grows with you
Warp is an agentic development environment, born out of the terminal.
sparkrun - launch, manage, and stop LLM inference workloads on NVIDIA DGX Spark systems
Photonic mode solver with a simple interface.