- Alicante, Spain
-
16:14
(UTC +01: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
- Roc
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Zig
🧪 Potion Calendar: a clean-room Google Calendar app. Effect 4, Alchemy and Foldkit on Cloudflare Workers.
A feature-rich Unix terminal client for the Mattermost chat system
Haskell library for safe (pattern match free) functions
from vibe coding to agentic engineering - practice makes claude perfect
The design vocabulary for your coding agent. Steer with polish and bolder, review with critique and audit, catch AI slop before it ships.
A declarative interface for every secret provider.
Renders Mermaid diagrams faster than you'd run from a volcano! 🌋
iOS app for scheduling and tracking monthly/yearly hour goals — SwiftUI, SwiftData, Swift Charts
Search your computer by what's in your files: photos, PDFs, documents, recordings, videos and code. On-device on Mac, Windows and Linux, built on Google DeepMind's EmbeddingGemma 2.
Unmodified Postgres with some useful extensions
PhotoCraft: An open-source photo editor written from scratch in pure Rust
A Haskell implementation of the Jinja template language.
The Open Source DocuSign Alternative.
kazu-yamamoto / crypton
Forked from haskell-crypto/cryptonitelowlevel set of cryptographic primitives for haskell
A nix flake for simplifiying the packaging of elm projects, inspired by elm2nix.
Generate Elm code for talking to a Servant + json-spec api.
Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema equality checks.