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:
- A simplified Rust wrapper around Microsoft's Speech API (SAPI) library☆13Mar 12, 2022Updated 4 years ago
- Leetboard is a Chrome extension that enables LeetCode users to track their progress and collaborate with friends. Link: https://chromew…☆13Feb 15, 2025Updated last year
- Document ready listener for browsers☆14Feb 3, 2020Updated 6 years ago
- this is the notes of cuda c++ programming guide, which hopes record my think in learning.☆14Sep 4, 2025Updated 10 months ago
- A Rust library for building modular, fast and compact indexes over genomic data☆12Nov 22, 2023Updated 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.
- A library to help use OpenMLS in Nostr clients☆13May 30, 2025Updated last year
- Curve25519 in safe Pure Rust with #[no_std]. ported from rust-crypto crate☆12Jan 20, 2022Updated 4 years ago
- A list of multi-vector retrieval resources☆19May 29, 2024Updated 2 years ago
- A public board for all the Computer Society and Students to display their profile. An online year-book for you to display your profile in…☆13Feb 13, 2024Updated 2 years ago
- ✴️ An experimental graph database☆114Jul 20, 2023Updated 2 years ago
- 基于Nuxt的前后端分离在线学习平台前台，项目包括前台，后台以及服务端，服务端使用Spring Cloud微服务架构☆17Nov 8, 2021Updated 4 years ago
- A pure rust implementation of Arcturus proofs for confidential transactions.☆12Sep 28, 2025Updated 9 months ago
- A Rust interface for the Succinct Data Structure Library.☆15Jan 24, 2022Updated 4 years ago
- ARP4G是一个go语言实现的简化应用开发的框架。使开发者专注于产品业务本身。☆21Nov 29, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Rust crate that allows you to display a progress bar in a terminal.☆13Sep 11, 2025Updated 9 months 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
- ☆17Oct 5, 2025Updated 9 months ago
- A fast and lean way to grep in JSON files.☆21Oct 26, 2023Updated 2 years ago
- Timezone-aware datetime library for the Rust programming language☆10May 16, 2019Updated 7 years ago
- ☆27Oct 1, 2025Updated 9 months ago
- Page of the course "Information Retrieval" at Department of Computer Science, University of Pisa☆21Dec 18, 2025Updated 6 months 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.
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆11Jun 29, 2026Updated last week
- Rust bindings for SPDK☆19Sep 12, 2017Updated 8 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Markdown Sticky notes for macOS☆56Feb 9, 2026Updated 5 months ago
- wisckey implementation using RocksDB☆12Jan 14, 2023Updated 3 years ago
- ☆18Oct 24, 2021Updated 4 years ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12May 1, 2024Updated 2 years ago
- The official implementation of EMNLP 2021 paper "#HowYouTagTweets: Learning User Hashtagging Preferences via Personalized Topic Attention…☆11Feb 21, 2023Updated 3 years ago
- CLI tool for the Rust Playground☆22Mar 25, 2021Updated 5 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.
- Prerender your ReactJS, AngularJS, and VueJS apps for SEO with Puppeteer☆12Apr 29, 2023Updated 3 years ago
- 🦀 A framework agnostic pagination crate that is especially suited for databases, slices and collections.☆17Jan 23, 2024Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Updated this week
- Example Rails APP showcasing how to use the Resend Rails SDK with Active Mailer☆14Jun 22, 2026Updated 2 weeks ago
- Exoshuffle-CloudSort☆30Mar 2, 2023Updated 3 years ago
- 🌿 SQL schema definition and discovery☆228May 29, 2026Updated last month
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Mar 3, 2026Updated 4 months ago