- Alicante, Spain
-
18:46
(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
A curated list of awesome FSRS implementations, papers and resources
A benchmark for spaced repetition schedulers/algorithms
ts-fsrs is a versatile package written in TypeScript that supports ES modules, CommonJS, and UMD.
Semi-official ish best practices for caching Elm dependencies in a CI context (WIP, see https://elmlang.slack.com/archives/C0CJ3SBBM/p1765402644933519)
Docker container for managing Nginx proxy hosts with a simple, powerful interface
Code challenges to solve with Haskell
hgg — Haskell Grammar of Graphics (declarative plotting).
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 to stop your coding agent 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.