Internship experience tailored for university students
☆19Jan 24, 2024Updated 2 years ago
Alternatives and similar repositories for summer-of-code
Users that are interested in summer-of-code are comparing it to the libraries listed below
Sorting:
- GSoC 2022 Idea List for Casbin☆24Apr 17, 2022Updated 3 years ago
- ☆11Jul 25, 2020Updated 5 years ago
- A Hyrax-based institutional repository for the University of North Carolina, Chapel Hill☆12Feb 28, 2026Updated last week
- wisckey implementation using RocksDB☆12Jan 14, 2023Updated 3 years ago
- 까먹을 때마다 보기 위해 만든 실험 세팅, 공부한 내용 정리 리포☆10Jan 25, 2021Updated 5 years ago
- Document ready listener for browsers☆14Feb 3, 2020Updated 6 years ago
- 🧪 Skeet Framework Boilerplate with Expo (React Native) + Firestore🔥☆10Jul 11, 2024Updated last year
- بوت تيليجرام هدفه خصوصية المستخدمين، حيث يتم انشاء جلسة يتم تحديد مدتها من قبل المالك، ويتم الاتصال شخص لشخص بسرية وبدون اظهار معلومات حس…☆13Aug 11, 2021Updated 4 years ago
- Apache ShardingSphere toolkit☆11Nov 18, 2021Updated 4 years ago
- ☆12Nov 14, 2021Updated 4 years ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Updated this week
- AngelScript JIT via C→MIR conversion☆20Sep 16, 2025Updated 5 months ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 11 months ago
- Curve25519 in safe Pure Rust with #[no_std]. ported from rust-crypto crate☆12Jan 20, 2022Updated 4 years ago
- KernelCI Linux Foundation project documentation☆13Feb 5, 2026Updated last month
- sea_orm_casbin_adapter☆10May 12, 2022Updated 3 years ago
- A library to help use OpenMLS in Nostr clients☆13May 30, 2025Updated 9 months ago
- HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA☆10Aug 14, 2025Updated 6 months ago
- Tooters: A Rust TUI-based Mastodon App☆16Mar 5, 2025Updated last year
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆20Apr 1, 2025Updated 11 months ago
- ☆15Apr 13, 2024Updated last year
- PSX emulator powered with Vulkan and Rust☆15Mar 10, 2025Updated 11 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- Code and plugin for paper "Automated Query Reformulation for Efficient Search based on Query Logs From Stack Overflow“☆16Nov 19, 2022Updated 3 years ago
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- A pure rust implementation of Arcturus proofs for confidential transactions.☆12Sep 28, 2025Updated 5 months ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12May 1, 2024Updated last year
- Rocqet proof language☆28Aug 11, 2025Updated 6 months ago
- Repository to accompany a beginner tutorial for Django Ninja☆11Dec 12, 2021Updated 4 years ago
- A Rust crate that allows you to display a progress bar in a terminal.☆11Sep 11, 2025Updated 5 months ago
- ☆13Mar 26, 2024Updated last year
- Verifying the optimization phases of the GraalVM compiler☆14Jan 13, 2025Updated last year
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Jan 26, 2026Updated last month
- ☆17Oct 5, 2025Updated 5 months ago
- NextJS app setup with Styled Components, Storybook, and more☆13Oct 29, 2020Updated 5 years ago
- A Disk Simulator for Interlaced Magnetic Recording Technology☆15Jun 24, 2024Updated last year
- A growing Flutter Package consist of a huge collection of rectified icons and essential utilities that grant you outstanding user experie…☆15Feb 25, 2020Updated 6 years ago
- HPCコードの全自動最適化を行う集約並列CLIエージェント☆23Oct 19, 2025Updated 4 months ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago