Skip to content
View leonidas1712's full-sized avatar
28 followers · 26 following
  • National University of Singapore
  • Singapore

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Block or report leonidas1712

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
leonidas1712/README.md

Hi 👋, I'm Leo

CS graduate from NUS | ML Engineer at SAP

🔬 Current: ML Engineer at SAP Labs, building AI agents

🦀 Projects:

  • RustScript: an interpreter with a bytecode VM, static type checker, and concurrency primitives
  • findw: a concurrent, recursive web scraper in Rust with async + synchronization
  • Argo: a local-first LLM research assistant (Rust + Tauri)

🤖 Research:

  • MilgramBench: a benchmark probing how LLMs respond to ethical pressure in institutional contexts
  • Interested in AI safety and alignment research — always keen to learn and collaborate

🌐 Website: leonidasr.com

📫 Contact: [email protected]

Languages and Tools:

bootstrap c css3 cypress express git html5 jest linux nodejs postgresql python react redux rust typescript

leonidas1712

Pinned Loading

  1. rustscript rustscript Public

    Forked from crabscript/rustscript

    RustScript

    Rust 1

  2. findw findw Public

    CLI tool to search pages recursively for matches in text content

    Rust 1

  3. nova nova Public

    Interpreter for a functional programming language inspired by Haskell and Lisp

    Rust 5

  4. MilgramBench MilgramBench Public

    Testing AI ethics under pressure

    Python 1

  5. argo argo Public

    Local-first, minimalist desktop client to chat with local LLMs via Ollama. Built with Tauri (Rust) and React.

    TypeScript 2 1

  6. SeekSaveServe/Easylink SeekSaveServe/Easylink Public

    Connecting university students to make university life more meaningful and eventful.

    JavaScript 3 1