Skip to content
View nasirquant's full-sized avatar
11 followers · 3 following

Achievements

Achievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Pull Shark

Block or report nasirquant

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
nasirquant/README.md

Hi there, I'm Nasir 👋 (@nasirquant)

Creator of Naso, an open-source programming language designed for quantized execution, tensor runtimes, and compile-time formal verification.

🚀 Active Projects

  • ⚛️ Naso Language — A systems programming language with SMT/Z3 formal verification built directly into the compiler workflow.
  • 📐 fnse — Fractal Neural Simulation Engine (Python engine published on PyPI).
  • 📈 Capital Velocity — Automated multi-asset market intelligence and market regime analytics pipeline.

🛠️ Tech Stack & Tooling

Languages & Systems:
Rust • Python • TypeScript • Nuxt 3 • Vue.js

Formal Verification & Quant:
Z3 SMT Solver • hmmlearn • yfinance • Quant Systems

Infrastructure & Tooling:
FastAPI • Docker • Supabase • GitHub Actions • Tailwind CSS

🌐 Links & Contact

Popular repositories Loading

  1. piko piko Public

    Piko is a minimalistic and fast theme powered by Hugo for building a blog or portfolio.

    HTML 42 28

  2. five five Public

    This the repo for a tutorial on making a portfolio template using Bulma, SCSS, Javascript, Animate On Scroll, Iconify

    HTML 7 1

  3. three three Public

    Three is a simple ecommerce website template that employs the implementation of parallax and modals.

    HTML 4

  4. two two Public

    Two is a beautiful, responsive, one-page portfolio website template for creative individuals or businesses.

    CSS 3

  5. one one Public

    One is a beginner-friendly portfolio template for showcasing your talents in a simple and beautiful manner.

    HTML 2

  6. four four Public

    Four is a tutorial to create a website using Hugo

    HTML 2 1