SeaQL / summer-of-codeView external linksLinks
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:
- 📙 The official website of SeaQL☆24Jan 31, 2026Updated 2 weeks ago
- ColBERT vision models (ColQwen2) with Weaviate and MUVERA quantization☆15Feb 2, 2026Updated last week
- ☆10Jan 5, 2024Updated 2 years ago
- 까먹을 때마다 보기 위해 만든 실험 세팅, 공부한 내용 정리 리포☆10Jan 25, 2021Updated 5 years ago
- wisckey implementation using RocksDB☆12Jan 14, 2023Updated 3 years ago
- Prerender your ReactJS, AngularJS, and VueJS apps for SEO with Puppeteer☆12Apr 29, 2023Updated 2 years ago
- Rust library for music composition with MIDI export☆12Mar 23, 2025Updated 10 months ago
- A nuxt and express based html emailer using google APIs☆10Jun 2, 2023Updated 2 years ago
- Verified Intermediate Representation☆23Updated this week
- بوت تيليجرام هدفه خصوصية المستخدمين، حيث يتم انشاء جلسة يتم تحديد مدتها من قبل المالك، ويتم الاتصال شخص لشخص بسرية وبدون اظهار معلومات حس…☆13Aug 11, 2021Updated 4 years ago
- Apache ShardingSphere toolkit☆11Nov 18, 2021Updated 4 years ago
- Document ready listener for browsers☆14Feb 3, 2020Updated 6 years ago
- Curve25519 in safe Pure Rust with #[no_std]. ported from rust-crypto crate☆12Jan 20, 2022Updated 4 years ago
- Cross-Domain Deep Code Search with Few-Shot Learning☆11Jul 5, 2023Updated 2 years ago
- KernelCI Linux Foundation project documentation☆13Feb 5, 2026Updated last week
- Tooters: A Rust TUI-based Mastodon App☆16Mar 5, 2025Updated 11 months ago
- HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA☆10Aug 14, 2025Updated 6 months ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 10 months ago
- ☆12Nov 14, 2021Updated 4 years ago
- sea_orm_casbin_adapter☆10May 12, 2022Updated 3 years ago
- AngelScript JIT via C→MIR conversion☆18Sep 16, 2025Updated 4 months ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Oct 14, 2025Updated 4 months ago
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 5 years ago
- ☆15Apr 13, 2024Updated last year
- A pure rust implementation of Arcturus proofs for confidential transactions.☆12Sep 28, 2025Updated 4 months ago
- Refinement type checking and inference tool for Rust☆16Feb 7, 2026Updated last week
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Jun 17, 2022Updated 3 years ago
- Code and plugin for paper "Automated Query Reformulation for Efficient Search based on Query Logs From Stack Overflow“☆16Nov 19, 2022Updated 3 years 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
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆18Apr 1, 2025Updated 10 months ago
- Lab for fudan program analysis 2024 autumn☆13Nov 24, 2025Updated 2 months ago
- Rust bindings for SPDK☆19Sep 12, 2017Updated 8 years ago
- Experimental Task Manager☆13Jul 2, 2020Updated 5 years ago
- Notes from the Computational Mathematics course held by professor Antonio Frangioni and professor Federico Poloni at University of Pisa☆12Aug 28, 2021Updated 4 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- Verifying the optimization phases of the GraalVM compiler☆14Jan 13, 2025Updated last year
- ☆13Mar 26, 2024Updated last year
- ☆17Apr 4, 2022Updated 3 years ago