Solve open problems with Codex
☆36Oct 27, 2026Updated this week
Alternatives and similar repositories for loose-ends
Users that are interested in loose-ends are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TUI application for viewing the status of GPU allocations on a Slurm cluster☆11Dec 11, 2023Updated 2 years ago
- Fastest du replacement and file tree analysis for 100+GB, million-file worktrees☆17Oct 21, 2026Updated last week
- ☆21Sep 5, 2024Updated 2 years ago
- Practical Alloy☆12Feb 28, 2025Updated last year
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆15Oct 13, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Feb 20, 2023Updated 3 years ago
- Open source agent harness written in Rust☆32Updated this week
- Example of Rust API for Machine Learning☆19Sep 11, 2021Updated 5 years ago
- ☆14Jul 18, 2026Updated 3 months ago
- A document repository for the CWE AI Working Group, a forum for CWE™ and CVE® community stakeholders to identify and address gaps in the …☆16Sep 8, 2026Updated last month
- A MCP Server for Eudic☆13Jul 11, 2025Updated last year
- ☆34Updated this week
- A simple Streamlit application to visualize document chunks and queries in embedding space 🗺️🔍☆14Apr 15, 2025Updated last year
- A helper to generate the READE file automatically from YAML-based metadata files.☆20May 23, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A mindmap summarising Machine Learning concepts, from Data Analysis to Deep Learning.☆15May 30, 2020Updated 6 years ago
- ☆18Mar 2, 2026Updated 7 months ago
- Some C code I wrote while learning the Lua C API☆11May 16, 2024Updated 2 years ago
- This is a simple calculator application built using Python's Tkinter framework. This calculator provides basic arithmetic operations such…☆10Apr 29, 2024Updated 2 years ago
- bootloader for meowbit based on https://github.com/mmoskal/uf2-stm32f☆16Jul 24, 2019Updated 7 years ago
- some of the books i've read☆26Oct 11, 2026Updated 3 weeks ago
- Repo for the Lean code from the video "Is This the End of Handwritten Math? Introducing Lean"☆14Nov 1, 2025Updated last year
- Solution to the 3DTeethLand challenge☆45Aug 16, 2026Updated 2 months ago
- A collection of papers tackling automatic fact-checking (particularly of AI-generated content)☆14Nov 3, 2023Updated 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.
- These are my TamperMonkey UserScripts☆18Jun 23, 2026Updated 4 months ago
- Unofficial project transforming AWS PartyRock apps into fullstack SvelteKit apps☆12Mar 3, 2024Updated 2 years ago
- 📚经典技术书籍 PDF 文件，持续更新...☆12Sep 7, 2020Updated 6 years ago
- Generate interesting clips using Youtube chat archives☆12Jun 6, 2024Updated 2 years ago
- Google Summer of Code 2018 Project: Automatic Speech Recognition for Speech-to-Text on Chinese☆10Jan 11, 2019Updated 7 years ago
- High level Haskell bindings to LXC (Linux containers).☆52Jan 21, 2016Updated 10 years ago
- MicroPython ESP32 course at Brno University of Technology☆15Sep 16, 2026Updated last month
- This project provides a working example of implementing a USB vendor class device using the embassy-rs and related crates on a Raspberry …☆13Mar 3, 2025Updated last year
- ☆56Jul 21, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Google Voice call and sms access app, standalone or addon.☆11Jan 5, 2018Updated 8 years ago
- Modding support for Traction Point☆18Updated this week
- Official source code for the paper "Neglected Free Lunch from Post-training: Progress Advantage for LLM Agents"☆13Oct 3, 2026Updated 3 weeks ago
- 53 implementations of synthetic learning problems from Geoffrey Hinton's experimental papers (1981-2022). Pure numpy, laptop-runnable, pa…☆40Aug 30, 2026Updated 2 months ago
- Typing practice for developers. https://beznosd.github.io/codetype/☆18Jun 6, 2017Updated 9 years ago
- Spark-optimized MLX LM for local inference and deployment on Apple Silicon☆15Updated this week
- An example of using Octave on mybinder.org☆15Apr 25, 2025Updated last year