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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 📙 The official website of SeaQL☆23Mar 6, 2026Updated 2 months ago
- Wrappers for CBLAS (C)☆14Feb 8, 2025Updated last year
- A library to help use OpenMLS in Nostr clients☆13May 30, 2025Updated 11 months ago
- Curve25519 in safe Pure Rust with #[no_std]. ported from rust-crypto crate☆12Jan 20, 2022Updated 4 years ago
- ✴️ An experimental graph database☆114Jul 20, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- PSX emulator powered with Vulkan and Rust☆15Mar 10, 2025Updated last year
- A pure rust implementation of Arcturus proofs for confidential transactions.☆12Sep 28, 2025Updated 8 months ago
- A Rust interface for the Succinct Data Structure Library.☆15Jan 24, 2022Updated 4 years ago
- QuickerADC is an implementation of highly-efficient product quantizers leveraging SIMD shuffle instructions integrated into FAISS☆15Nov 14, 2019Updated 6 years ago
- Rust library for music composition with MIDI export☆15Mar 23, 2025Updated last year
- sea_orm_casbin_adapter☆10May 12, 2022Updated 4 years ago
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 6 years ago
- GSoC 2022 Idea List for Casbin☆24Apr 17, 2022Updated 4 years ago
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 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.
- ☆17Oct 5, 2025Updated 7 months ago
- A fast and lean way to grep in JSON files.☆21Oct 26, 2023Updated 2 years ago
- Page of the course "Information Retrieval" at Department of Computer Science, University of Pisa☆20Dec 18, 2025Updated 5 months ago
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆11Jan 29, 2024Updated 2 years ago
- secp256k1 ECDSA benchmarks (k256 vs libsecp256k1 vs rust-secp256k1)☆16May 31, 2022Updated 3 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Manages uploaded assets (images, PDFs etc.) for applications on GOV.UK☆11May 21, 2026Updated last week
- Add dynamic content to your GitHub profile using customizable plugins.☆15May 19, 2026Updated last week
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12May 1, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CLI tool for the Rust Playground☆22Mar 25, 2021Updated 5 years ago
- An experimental programming language for ergonomic software verification☆16May 19, 2026Updated last week
- XChaCha8Blake3Siv is a nonce-reuse misuse-resistant (NRMR) and key-committing authenticated encryption with associated data (AEAD) algori…☆17Aug 28, 2021Updated 4 years ago
- Code once, support every Rust webserver!☆28Dec 30, 2023Updated 2 years ago
- hanubeki's PieFed theme☆14Jan 13, 2026Updated 4 months ago
- 🌿 SQL schema definition and discovery☆225Apr 17, 2026Updated last month
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Mar 3, 2026Updated 2 months ago
- An mdBook preprocessor to turn iced code blocks into interactive examples☆24Dec 7, 2025Updated 5 months ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Jun 17, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A data wrangling library for Rust☆15Jun 30, 2019Updated 6 years ago
- Embedded Rust's Peripheral Access Crate for BL602 microcontrollers☆19Mar 3, 2024Updated 2 years ago
- AngelScript JIT via C→MIR conversion☆24Sep 16, 2025Updated 8 months ago
- 🚀 Starter kit for using Rocket with SeaORM☆14Dec 26, 2021Updated 4 years ago
- File and folder naming convention checker written in rust☆21May 28, 2019Updated 7 years ago
- Extended tsvector type for PostgreSQL☆26Oct 20, 2020Updated 5 years ago
- بوت تيليجرام هدفه خصوصية المستخدمين، حيث يتم انشاء جلسة يتم تحديد م دتها من قبل المالك، ويتم الاتصال شخص لشخص بسرية وبدون اظهار معلومات حس…☆13Aug 11, 2021Updated 4 years ago