POCS materials for the public
☆31Oct 28, 2026Updated this week
Alternatives and similar repositories for public
Users that are interested in public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tarantool C++ connector☆10Nov 28, 2025Updated 11 months ago
- A repository for the CS-306 Software Development Project class at EPFL.☆14Jun 9, 2022Updated 4 years ago
- Verified graph rewriting (for dataflow circuits).☆29Updated this week
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 4 years ago
- Материалы к курсу «Архитектура операционных систем», МФТИ, весенний семестр 2022☆15May 20, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆18May 16, 2022Updated 4 years ago
- ☆54Oct 10, 2024Updated 2 years ago
- Bolts: Stainless Verified Scala Examples☆30Aug 31, 2026Updated last month
- ☆13Apr 28, 2025Updated last year
- small, fast memset based on microsoft's design☆13Apr 5, 2022Updated 4 years ago
- A simple operating system (SOS) built on top of the seL4 microkernel☆12Mar 3, 2018Updated 8 years ago
- ☆15Oct 23, 2014Updated 12 years ago
- Files for Framework Input Cover controller board☆15Feb 15, 2025Updated last year
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Main repository of the Vigor NF verification project.☆49Mar 6, 2021Updated 5 years ago
- ☆15Mar 29, 2020Updated 6 years ago
- Proof assistant based on first-order logic and set theory☆71Oct 22, 2026Updated last week
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated 2 years ago
- ☆13Oct 11, 2025Updated last year
- Artifact Evaluation for OSDI'26 paper CoPilotIO: CPU as a Co-pilot for GPU I/O to Free GPU Compute☆27May 9, 2026Updated 5 months ago
- This repo implements Mahi-Mahi consensus protocol. It builds on the the https://github.com/MystenLabs/mysticeti code base☆15Oct 1, 2026Updated 3 weeks ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 11 years ago
- MV-RLU: Scaling Read-Log-Update with Multi-Versioning☆15Nov 8, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Slooo: A Fail-slow Fault Injection Testing Framework☆10Nov 28, 2022Updated 3 years ago
- The Chef symbolic execution platform, based off S2E☆12Nov 1, 2022Updated 3 years ago
- ☆14Nov 19, 2024Updated last year
- Adding `vau` with an immutable dynamic environment to Chez Scheme☆21Jul 15, 2026Updated 3 months ago
- ☆18Jun 8, 2021Updated 5 years ago
- Курс лекций для студентов МГУ и МФТИ посвященный проектированию высоконагруженных систем☆35Jul 7, 2023Updated 3 years ago
- Lean library for typed metaprogramming based on staging, with support for dependent types and reasoning about metaprograms.☆16Sep 25, 2026Updated last month
- ☆14Oct 22, 2023Updated 3 years ago
- PARSEC 3.0 benchmark suite☆13May 12, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Websites for your archives, served directly from your archive.org item.☆13Sep 7, 2020Updated 6 years ago
- Automatically exported from code.google.com/p/pgf-umlcd☆13Jun 25, 2026Updated 4 months ago
- ☆18Sep 9, 2024Updated 2 years ago
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆24Oct 15, 2026Updated 2 weeks ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- sumbur-ruby☆11Dec 9, 2013Updated 12 years ago
- Comparative analysis of desktop environments, window managers, and display managers across different operating systems. Quantitative metr…☆21Feb 1, 2025Updated last year