☆21Apr 6, 2026Updated 6 months ago
Alternatives and similar repositories for gpu_bitonic_sort
Users that are interested in gpu_bitonic_sort are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🎨 Drawing images with lambda calculus☆12Aug 27, 2026Updated last month
- Unusable but free and open-source window manager for Linux and *BSD (<500LOC)☆14Jul 6, 2019Updated 7 years ago
- ☆25May 21, 2026Updated 5 months ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests☆16Jun 8, 2026Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- effects, but optimal☆16Jan 9, 2026Updated 9 months ago
- ☆47Oct 5, 2026Updated 2 weeks ago
- ☆13Feb 21, 2026Updated 8 months ago
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 years ago
- It's quite fascinating - I fit into a 17.6 MB text file, or at least part of me does*☆31Dec 3, 2024Updated last year
- A minimal proof checker.☆84Sep 9, 2024Updated 2 years ago
- ☆15Aug 20, 2025Updated last year
- Machine Learning in Bend 2: Dependent Types, Shapes at the Type Level, and Proven Laws☆21Updated this week
- pyndl implements a Naive discriminative learning which is a learning and classification models based on the Rescorla-Wagner equations in …☆13Dec 8, 2025Updated 10 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆19Aug 23, 2025Updated last year
- Fast, standalone CLI for Obsidian vault operations. No Electron, no app dependency, no network calls.☆11Jun 12, 2026Updated 4 months ago
- ☆125May 30, 2026Updated 4 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- Example project showing the project structure of a simple chat app built with IHP☆10Aug 30, 2022Updated 4 years ago
- ☆17Updated this week
- Universal, evidence-native double-entry accounting system of record in Rust on FrankenGraphDB: bitemporal, append-only with first-class r…☆26Updated this week
- Static Python bindings for Ethereum smart contracts.☆12Dec 9, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- fashion ai backend☆13Nov 17, 2025Updated 11 months ago
- Open-source 3D climbing game☆14Oct 6, 2026Updated 2 weeks ago
- A simple laser-hockey gym environment for RL agents☆23Dec 18, 2025Updated 10 months ago
- Structured Output Matching & Association: online multi-person tracking built on the structured output of a multi-task wholebody detector,…☆30Aug 19, 2026Updated 2 months ago
- Lean specification of neural architectures with verified GPU codegen.☆35Updated this week
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Qwen Image 2.1 in Frosty Studio: create and edit with 10 references, official prompt enhancement, RGBA and recoverable galleries. Include…☆14Sep 23, 2026Updated last month
- Talk to your coding agents — press a hotkey, speak your prompt, and it lands in Claude Code, Codex, or Cursor. Fully local voice dictatio…☆33Updated this week
- Experimental library for Narya☆13Aug 6, 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.
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 8 years ago
- Real-time/Historical EVM Indexer x Analytics☆22Updated this week
- Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.☆35Updated this week
- A context-guardian CLI for MCP servers. It provides access to MCP servers via CLI and returns clean, structured summaries to the AI agent…☆15Sep 28, 2026Updated 3 weeks ago
- A library for manipulating unstructured Markdown documents.☆47Mar 25, 2023Updated 3 years ago
- 🛠️ Quickly scaffold a Managed Component with `npm init managed-component`☆25Jul 11, 2024Updated 2 years ago
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated 3 weeks ago