- Cape Town, South Africa
- tregter.com
- in/ferdi-tregter
Starred repositories
Use LLM to stream diagrams, instead of tokens, in real-time! (UIST 2023 Paper)
With a given country and phone number, validate and format the MOBILE phone number to E.164 standard
DuckDB is an analytical in-process SQL database management system
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Opensource IDE For Exploring and Testing API's (lightweight alternative to Postman/Insomnia)
DuckLake is an integrated data lake and catalog format
Grafting Tailscale into your Raspberry Pi!
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
A natural language date/time parser with pluggable rules
A command-line arguments parser that will make you smile.
Lightweight, fast and dependency-free Cron expression parser (due checker, next/prev due date finder), task runner, job scheduler and/or daemon for Golang (tested on v1.13+) and standalone usage. I…
ReScript bindings to the DOM and other Web APIs
🍦 VanJS: World's smallest reactive UI framework. Incredibly Powerful, Insanely Small - Everyone can build a useful UI app in an hour.
A vault for securely storing and accessing AWS credentials in development environments
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal
Package goth provides a simple, clean, and idiomatic way to write authentication packages for Go web applications.
A launch point for your personal nvim configuration
🤘 The native golang ssh client to execute your commands over ssh connection. 🚀🚀
🏆 A markdown parser written in Go. Easy to extend, standard(CommonMark) compliant, well structured.
Go Humans! (formatters for units to human friendly sizes)
Go library for converting between various units of measurement
Countries - ISO-639, ISO-3166 countries codes with subdivisions and names, ISO-4217 currency designators, ITU-T E.164 IDD phone codes, countries capitals, UN M.49 codes, IANA ccTLD countries domain…