- Toulouse, France
- https://www.leopradel.com/
- @leopradel
Highlights
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Astro
- Blade
- C
- C#
- C++
- CSS
- Cairo
- Clarity
- Clojure
- CoffeeScript
- Dart
- Dockerfile
- Elixir
- Elm
- Go
- Go Template
- HTML
- JSON
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- MDX
- Markdown
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- Python
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- SVG
- Scala
- Shell
- Solidity
- Svelte
- Swift
- TypeScript
- Vue
- Zig
Open Source Slack and Campfire inspired chat with one click deploy to Cloudflare.
Write an app once. It runs natively on the web, macOS, iOS, and Linux, and an AI agent can build it, run it, see it, and test it on every one of them.
Effect-native SDKs for cloud providers
Find, verify, and analyze leaked credentials
Measure and explain performance: web pages, Electron apps, Bun/Node, any process. Agent-native CLI + MCP.
Controlling and preserving Bose SoundTouch devices
Open-source Grok Bot alternative with a virtual machine that bots can use
The Luma operating system, shared platform, and everyday apps for desktop, tablet, and mobile.
The workspace to stay in the loop and on top of agents - shape, decide, plan, annotate, review code, share with team, and send all feedback to agents with one click.
Repository for Timestral, the time-series foundation model by Mistral AI
Pure TypeScript media toolkit for reading, writing, and converting video and audio files, directly in the browser.
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
A collection of agent skills that help you build great interfaces.
Bitcoin-native MCP server for AI agents: BTC/STX wallets, DeFi yield, sBTC peg, NFTs, and x402 payments.
Build native apps in JS. Backend, frontend. ~5Mb.
eToro account statement processor — extracts ROI, dividends, and performance metrics from Excel exports
PhotoCraft: An open-source photo editor written from scratch in pure Rust
ArtCraft is an intentional crafting engine for artists, designers, and filmmakers
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Local API emulation for CI and no-network sandboxes
Jev-like family of decision models built on top of Qwen3.5/3.8 you can train and run on your own
ARTEMIS turns natural-language instructions into reliable Android automation. It automates end-to-end workflows, captures logs, and integrates seamlessly with AI coding assistants such as Antigravi…
A small neural model for parsing date & time
Experience macOS just like before






