- Alicante, Spain
-
00:17
(UTC +02:00) - https://flaviocorpa.com
- @FlavioCorpa
- @flaviocorpa.com
Highlights
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- Astro
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Gleam
- Go
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Less
- Limbo
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Mustache
- Nix
- OCaml
- Objective-C
- PHP
- PLSQL
- Perl
- PureScript
- Python
- Racket
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Zig
hgg — Haskell Grammar of Graphics (declarative plotting, pairs with hanalyze). Docs-first; library coming soon.
This demo implements a simple web drawing app showing how to use HTML5 Pointer Events.
Track your books, share your shelves, see what others are reading
A skill for your coding agent to stop it from burying the answer. ADHD-friendly output.
Wacom’s Signature SDK library for JavaScript provides software components to capture handwritten signatures from a Web Browser.
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …
A Haskell implementation of the Shen programming language.
Lightweight coding agent that runs in your terminal
Native macOS menu bar app for tracking Claude AI usage limits in real-time. Built with Swift/SwiftUI.
GHCi scripts for standalone execution and Markdown documentation.
Find the ghost tokens. Fix them. Survive compaction. Avoid context quality decay.
Show usage stats for OpenAI Codex and Claude Code, without having to login.
The open-source AI voice studio. Clone, dictate, create.
VS Code extension for the Lean 4 programming language and theorem prover
Generate Elm modules from annotated Typescript web components
Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.
My first Supabase app with Miso from Haskell to read chapters!
The open-source app everyone uses to manage agents at work
Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
Unofficial, agent-friendly Mercadona shopping CLI (Go) — search products, read prices, build a cart and prepare checkout from the terminal. BYO credentials.
A fast, safe, and intuitive DataFrame library.
A project for analyzing football player statistics from the top 5 leagues during the 2023-2024 season. The script reads data from a CSV file, processes it, and outputs an Excel file with separate s…
Template Language for SQL with Automatic Bind Parameter Extraction
Save or export your private and public Slack messages, threads, files, and users locally without admin privileges.