Skip to content
View sona-tau's full-sized avatar
🧋
https://tangled.org/stau.space
🧋
https://tangled.org/stau.space
11 followers · 23 following

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Block or report sona-tau

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
sona-tau/README.md

For my current projects please visit Tangled: https://tangled.org/stau.space

💫 About Me:

Hi, I'm Sona Tau, a Computer Science and Mathematics undergrad student!

Research topics:

  • Costas Arrays
  • Arithmetical Structures
  • MetaMathematics

Interests:

  • formal verification
  • Category Theory
  • Linguistics
  • distributed systems
  • low-level programming

Check out my projects in the pins!

Also:

🏳️‍⚧️ Love your true self!

🌐 Socials:

Bluesky Instagram email

💻 Tech Stack:

AssemblyScript C C++ Clojure CSS3 Haskell HTML5 JavaScript Julia Lua LaTeX Markdown Nix OCaml PHP Python R Rust Bash Script Zig Codeberg jQuery JWT Qt RayLib WebGL Nginx MusicBrainz MySQL Postgres SQLite Redis Aseprite Canva Figma Gimp Inkscape Krita ![Sketch Up](https://img.shields.io/badge/SketchUp-005F9E?style=fo

📊 GitHub Stats:



✍️ Random Dev Quote

🔝 Top Contributed Repo

Pinned Loading

  1. laptop-dots-wl laptop-dots-wl Public archive

    Nushell 3

  2. rdbm rdbm Public archive

    .ron database management system

    Rust 1

  3. mandelbrot mandelbrot Public archive

    Mandelbrot research repo

    C

  4. womp womp Public archive

    W Compositor

    C++ 1