ptal / turboView external linksLinks
A constraint solver purely on GPUs (CUDA)
☆33Jan 24, 2026Updated 3 weeks ago
Alternatives and similar repositories for turbo
Users that are interested in turbo are comparing it to the libraries listed below
Sorting:
- Domain-Adaptive Semantic Segmentation with Memory-Efficient Cross-Domain Transformers☆10Nov 17, 2023Updated 2 years ago
- ☆11Jul 7, 2020Updated 5 years ago
- A tool designed to process and analyze .xcresult bundles generated from Xcode test runs. It extracts key insights and outputs a detailed …☆10Dec 16, 2024Updated last year
- This package is essentially a ros-wrapper of neural_cam. More features would be added in the future, geared towards mobile robot platform…☆11Jul 12, 2019Updated 6 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Jan 25, 2015Updated 11 years ago
- ☆11Dec 31, 2020Updated 5 years ago
- A collection of OCR'd and machine-corrected Greek texts. This base repository contains Git submodules for the different works and an inve…☆11Nov 18, 2014Updated 11 years ago
- Small command line tool to convert ASCII images to GBDK GameBoy tiles☆10Mar 19, 2023Updated 2 years ago
- Platform-agnostic Rust driver for the APDS9960 digital proximity, ambient light, RGB and gesture sensor.☆10Aug 17, 2022Updated 3 years ago
- Graphical User Interface for remote monitoring and top-level control of UAVs.☆13Jul 31, 2025Updated 6 months ago
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 6, 2026Updated last week
- Document about design of a GNSS receiver☆14May 28, 2020Updated 5 years ago
- Contains almost all major claude code guides/harnesses/skills/agents/rules☆22Jan 7, 2026Updated last month
- the zero network protocol☆25Jul 21, 2020Updated 5 years ago
- ☆13Jul 30, 2024Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 5 months ago
- A 4x10 ortholinear layout focused on text editing and programming☆13Sep 3, 2022Updated 3 years ago
- Elasticsearch for Pharo Smalltalk☆10Aug 3, 2021Updated 4 years ago
- A bridge between Pharo and JavaScript☆11Updated this week
- EasierUVM from Doulos now written in Python for easier UVM with framework and template generator☆13Sep 28, 2022Updated 3 years ago
- A machine learning software for extracting astronomical entities from scholarly documents☆10Oct 31, 2022Updated 3 years ago
- A protoc plugin that generates GraphQL execution code from Protocol Buffers☆33Dec 27, 2025Updated last month
- n-wise coverage tool for combinatorial testing☆11Sep 7, 2019Updated 6 years ago
- Tactical ETL - Cursor on Target Transformation Proxy.☆12Mar 5, 2023Updated 2 years ago
- Illustration of Rust await syntax alternatives☆13May 5, 2019Updated 6 years ago
- Flexbox layout engine for RSX DOM trees using YOGA☆11Apr 12, 2018Updated 7 years ago
- LONGAGENT: Scaling Language Models to 128k Context through Multi-Agent Collaboration☆11Mar 11, 2024Updated last year
- Rust library for building Mapbox Vector Tiles from PostGIS. Help wanted to support non-postgis shapes.☆12Apr 7, 2019Updated 6 years ago
- A Rust firmware for mechanical keyboards using the Teensy 3.2☆11Dec 15, 2018Updated 7 years ago
- r2live相关论文、代码中文注释以及代码改动☆11Sep 24, 2021Updated 4 years ago
- A procedural macro jsx compiler☆12Oct 13, 2018Updated 7 years ago
- Streaming desktop windows to an A-Frame 3D world☆11Jun 6, 2017Updated 8 years ago
- A collection of exercises for practicing what is taught in Quartet: Intermediate Japanese Across the Four Language Skills.☆19Dec 24, 2025Updated last month
- Implementation of Monte Carlo Word Movers Distance in Python with TensorFlow☆12Sep 12, 2016Updated 9 years ago
- ☆14Feb 6, 2024Updated 2 years ago
- RISC-V RV32I CPU written in verilog☆10Jul 11, 2020Updated 5 years ago
- JavaScript deployment for Howl, the wake word detection modeling toolkit for Firefox Voice☆10Aug 15, 2020Updated 5 years ago
- Two-stage routing with Optimized Guided search and Greedy algorithm☆10Sep 27, 2023Updated 2 years ago
- ☆10May 24, 2021Updated 4 years ago