#
Starred repositories
🐸 VS Code extension designed to help you when decompiling a codebase
🐘 PostgreSQL driver in Go using only the standard library
Decision tree implementation for learning purposes (blog series)
</> htmx - high power tools for HTML
Code and materials for my book "Pragmatic Type Level Design"
SqlHydra is a suite of NuGet packages for working with databases in F# including code generation tools and query expressions.
Desafios mais absurdos ja vistos pela face do planeta Terra.
A curated list of awesome F# frameworks, libraries, software and resources.
A toolkit for building fast and functional-first web applications using F#.
Lean 4 programming language and theorem prover
A formalization of continuation-passing style calculi in Coq [WIP]
A simple project template using Melange with opam
Lista de eventos tech que acontecem no Brasil
A collection of learning resources for curious software engineers
A massively parallel, optimal functional runtime in Rust
📝 A curated list of Web Performance Optimization. Everyone can contribute here!
My own binary helper in pure Kotlin, from scratch.
Pterodactyl® is a free, open-source game server management panel built with PHP, React, and Go. Designed with security in mind, Pterodactyl runs all game servers in isolated Docker containers while…
Clean Code concepts adapted for JavaScript