{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"Theseus","owner":"theseus-os","isFork":false,"description":"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.","topicNames":["research","kernel","operating-system","theseus","intralingual","rust"],"topicsNotShown":0,"allTopics":["research","kernel","operating-system","theseus","intralingual","rust"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":26,"issueCount":36,"starsCount":2756,"forksCount":164,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-10T20:58:16.994Z"}},{"type":"Public","name":"rust","owner":"theseus-os","isFork":true,"description":"Fork of Rust to support Theseus OS targets and `std` atop Theseus. Empowering everyone to build reliable and efficient software.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":5,"starsCount":0,"forksCount":12065,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-20T16:38:41.814Z"}},{"type":"Public","name":"irq_safety","owner":"theseus-os","isFork":false,"description":"Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments. ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":7,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-12T22:41:41.174Z"}},{"type":"Public","name":"wasmtime","owner":"theseus-os","isFork":true,"description":"(Ported to Theseus) Standalone JIT-style runtime for WebAssembly, using Cranelift","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1213,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-03T01:03:30.720Z"}},{"type":"Public","name":"backtrace-rs","owner":"theseus-os","isFork":true,"description":"Backtraces in Rust","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":234,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-12T18:13:54.211Z"}},{"type":"Public","name":"spin-rs","owner":"theseus-os","isFork":true,"description":"Spin-based synchronization primitives","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":86,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-25T02:26:10.430Z"}},{"type":"Public","name":"pl011","owner":"theseus-os","isFork":true,"description":"Simple Driver for PL011 UARTS","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-19T16:00:39.465Z"}},{"type":"Public","name":"volatile","owner":"theseus-os","isFork":true,"description":"Volatile wrapper types for Rust, with support for `zerocopy` traits.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":19,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-01T19:44:15.967Z"}},{"type":"Public","name":"DFQueue","owner":"theseus-os","isFork":false,"description":"A decoupled, fault-tolerant queue written in Rust. ","topicNames":["rust","queue","lock-free","no-std"],"topicsNotShown":0,"allTopics":["rust","queue","lock-free","no-std"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-27T18:51:35.801Z"}},{"type":"Public","name":"uefi-bootloader","owner":"theseus-os","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-23T18:39:09.714Z"}},{"type":"Public","name":"homepage","owner":"theseus-os","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":34,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-07T05:07:06.921Z"}},{"type":"Public","name":"bootloader","owner":"theseus-os","isFork":true,"description":"An experimental pure-Rust x86 bootloader","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":201,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-28T05:47:11.383Z"}},{"type":"Public","name":"rangemap","owner":"theseus-os","isFork":true,"description":"Map data structure whose keys are stored as ranges","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":25,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-07T23:07:46.540Z"}},{"type":"Public","name":"region-rs","owner":"theseus-os","isFork":true,"description":"A cross-platform virtual memory API written in Rust","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":22,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-03T23:27:58.230Z"}},{"type":"Public","name":"target-lexicon","owner":"theseus-os","isFork":true,"description":"Target \"triple\" support (plus Theseus OS)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":37,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-18T01:50:28.466Z"}},{"type":"Public","name":"prebuilt-aavmf","owner":"theseus-os","isFork":false,"description":"prebuilt binary files enabling UEFI support in qemu","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-11T16:19:22.453Z"}},{"type":"Public","name":"uefi-rs","owner":"theseus-os","isFork":true,"description":"Rust wrapper for UEFI.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":153,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-08T15:49:50.588Z"}},{"type":"Public","name":"platform","owner":"theseus-os","isFork":false,"description":"Traits for device driver objects, to be used by a kernel","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-17T08:30:15.511Z"}},{"type":"Public","name":"noline","owner":"theseus-os","isFork":true,"description":"IO-agnostic line editor for embedded systems","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-08T03:03:45.968Z"}},{"type":"Public","name":"rustyline","owner":"theseus-os","isFork":true,"description":"Readline Implementation in Rust","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":171,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-29T21:10:48.453Z"}},{"type":"Public","name":"theseus-builder","owner":"theseus-os","isFork":false,"description":"Rust crate which would help build and run theseus","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-24T09:26:10.970Z"}},{"type":"Public","name":"libc","owner":"theseus-os","isFork":true,"description":"Raw bindings to platform APIs for Rust","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":988,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-11T01:17:04.954Z"}},{"type":"Public","name":"kevinaboos","owner":"theseus-os","isFork":false,"description":"Personal website for Kevin Boos","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-29T19:29:09.505Z"}},{"type":"Public","name":"theseus-os.github.io","owner":"theseus-os","isFork":false,"description":"The blog website for Theseus OS info and development updates.","topicNames":["rust","research","theseus","operating-systems","theseus-os"],"topicsNotShown":0,"allTopics":["rust","research","theseus","operating-systems","theseus-os"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-26T22:37:20.174Z"}},{"type":"Public archive","name":"object","owner":"theseus-os","isFork":true,"description":"A unified interface for reading and writing object file formats","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":126,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-06T19:41:53.119Z"}},{"type":"Public archive","name":"qp-trie-rs","owner":"theseus-os","isFork":true,"description":"An idiomatic and fast QP-trie implementation in pure Rust, changed to be no_std compatible.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":24,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-29T19:17:03.345Z"}},{"type":"Public archive","name":"x86_64","owner":"theseus-os","isFork":true,"description":"Library to program x86_64 hardware.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":125,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-08T19:00:38.990Z"}},{"type":"Public","name":"core2","owner":"theseus-os","isFork":true,"description":"The bare essentials of std::io for use in no_std. Alloc support is optional.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":23,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-02T17:48:21.301Z"}},{"type":"Public archive","name":"bincode","owner":"theseus-os","isFork":true,"description":"A binary encoder / decoder implementation in Rust.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":260,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-20T00:14:42.482Z"}},{"type":"Public","name":"thiserror-core2","owner":"theseus-os","isFork":true,"description":"derive(Error) for struct and enum error types","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":137,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-10T20:14:49.342Z"}}],"repositoryCount":52,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}