Skip to content
GitHub Explorer

jklott/Theseus

View on GitHub โ†—Related repositories โ†’

Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐š๐ฅ๐ข๐ง๐ ๐ฎ๐š๐ฅ ๐๐ž๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

active 2024-01-04 โ†’ 2024-01-08 (UTC)

Partial coverage24,414 / 26,316 hourly files (93%) ยท 2 absent upstream ยท 1,901 failed, retryable2023-08-15 โ†’ 2026-08-15 (UTC)โ€” sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
10
Pushes
8
Pull requests
0
Issues
0
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 5 days from 2024-01-04 to 2024-01-08. Pushes: 8 total, peak 4 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 in a day. Stars: 0 total, peak 0 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

Pushes, PRs, issues, reviews and comments โ€” stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
jklott7700
tsoutsman1100

Recent activity

Latest issues, pull requests and releases

No issue or PR events โ€” this repo's activity is pushes only.

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals โ€” 0 stars here means stars gained during the window, not the repo's star count.