Skip to content
View PaskiDev's full-sized avatar
🌿
Seeing the irl code
🌿
Seeing the irl code
1 follower · 2 following
  • Syrakon
  • Barcelona
  • 13:43 (UTC +01:00)

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Block or report PaskiDev

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.

Content in all repositories owned by your account will be closed.
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
PaskiDev/README.md

Pasqual Peñalver

Systems developer in Barcelona. I build developer tools with Syrakon, a small group of devs.

Databases, version control, container orchestration and the web layer on top of them, down to a browser — mostly in Rust and Go, self-hosted on our own metal.

Website Syrakon Email Bluesky LinkedIn Threads

Languages

Rust Go Python TypeScript JavaScript SQL Bash

Web & desktop

Svelte SvelteKit Tauri Vite pnpm Three.js Tailwind CSS

Infrastructure

Linux Docker Podman k3s Caddy PostgreSQL SQLite GitLab GitHub

What I work on

Data

  • arkeion — versioned, audited database engine in Rust. Every write is a signed commit. Open source.
  • inro — dense multi-tenant runtime. Thousands of isolated databases per box. Open source.

Version control

  • torii — change-centric version control, built for working with AI agents.
  • gitorii — the torii CLI over plain git repos. Browse a remote without cloning. Open source.

Platform

  • svitrio — headless CMS and business platform. Runs every site listed here.
  • quota — usage metering and billing for EU teams.
  • galeon — container CLI for the whole lifecycle: scaffold, run and ship images for any stack. Open source.

Browser

  • rumb — experimental Rust web browser. Servo for the content, Zed's GPUI for the chrome. Pre-alpha. Its Servo fork, tramuntana, is open source (MPL-2.0); the browser shell is proprietary.

Plus the plumbing nobody sees: a compression codec line, a mail relay, provisioning scripts, and a self-hosted edge that serves all of the above from one machine.

Notes

  • Most of my day-to-day work lives on GitLab; GitHub mirrors the parts that are open.
  • Open to talking about databases, storage formats and small-footprint infrastructure.

Pinned Loading

  1. Syrakon/tramuntana Syrakon/tramuntana Public

    Web engine of the rumb browser. A fork of Servo, in Rust, embedded in gpui with zero-copy dma-buf compositing, plus Media Source Extensions, an embedder API for content blocking, and AT-SPI accessi…

    Rust 1

  2. gitorii gitorii Public

    A human-first Git client with simplified commands, snapshots and multi-platform mirrors

    Rust 2

  3. Syrakon/inro Syrakon/inro Public

    Minimum-footprint embedded key-value database engine, in pure Rust.

    Rust 1

  4. galeon galeon Public

    Scaffold, run, and ship containers for any stack — one opinionated, pluggable CLI.

    Rust

  5. wayward wayward Public

    Audit which applications hold persistent desktop-portal permissions on a Wayland session

    Rust

  6. Syrakon/arkeion Syrakon/arkeion Public

    Embedded, versioned, auditable database engine — as if SQLite and Git had a child, born in Europe.

    Rust