8000 rioffe (Robert Ioffe) · GitHub
[go: up one dir, main page]

Skip to content
View rioffe's full-sized avatar

Block or report rioffe

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. 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

Popular repositories Loading

  1. CarND-Capstone-Solution CarND-Capstone-Solution Public

    Solution to Term 3, Project 3 of Udacity Nanodegree: Capstone Project

    Python 9 6

  2. speccheck speccheck Public

    Specification conformance checker: for every ID a SPEC.md declares, find where code and tests cite it, join JUnit results, and report one evidence-backed status per ID — with an optional downgrade-…

    Python 5 1

  3. intro_to_ai_software_engineering intro_to_ai_software_engineering Public

    Introduction to Software Engineering in the Age of AI — an open-educational resource that builds one system (a hybrid mortgage calculator) chapter by chapter: a human-verified core with an AI-assis…

    HTML 1

  4. mdv_claude_opus mdv_claude_opus Public

    mdv6 — macOS Markdown viewer built from SPEC.md v0.14.8 (Swift/SwiftUI, SwiftPM)

    C 1

  5. gpu-quicksort-revisited gpu-quicksort-revisited Public

    GPU-Quicksort (Cederman & Tsigas 2009) in Swift + Metal for Apple silicon, built from a traced spec

    Lean 1

  6. metal-quicksort metal-quicksort Public

    CUDA-Quicksort 1.6.1 ported to Swift + Metal, with a CLI and API compatible with gpu-quicksort-revisited

    Swift 1

0