- 👋 Hi, I’m @dogukanzorlu
- 👀 I’m interested in telecommunication, distributed systems, observability, concurrency and scientific software..
- 🌱 I’m currently working on Elixir and Golang
- 📫 You can reach me on [email protected]
- İstanbul
Highlights
Pinned Loading
-
dagger/dagger
dagger/dagger PublicAn open-source runtime for composable workflows. Great for AI agents and CI/CD.
-
struct-bingen
struct-bingen Publicautomatically generates Go structs bindings to C (and some C++) libraries.
Go 2
-
godel-shadow
godel-shadow PublicImplementing SAT and 3-SAT problems into arithmetic using Gödel numbering and recursion techniques with Lean 4
Lean
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.