Learn programming concepts through interactive Github tutorials
☆39Aug 19, 2026Updated 2 weeks ago
Alternatives and similar repositories for repo-quest
Users that are interested in repo-quest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My dotfiles.☆10Apr 1, 2023Updated 3 years ago
- A Manchu dictionary website☆12Feb 26, 2026Updated 6 months ago
- Python binding for odeiv2 interface from GNU Scientific Library (GSL)☆14Updated this week
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11May 30, 2017Updated 9 years ago
- ☆13May 30, 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.
- A Rust port of sentence-transformers, a library for generating embeddings.☆20Oct 2, 2025Updated 11 months ago
- Make/Encode some basic logic puzzles☆21Jul 10, 2024Updated 2 years ago
- ☆13Apr 27, 2019Updated 7 years ago
- VSCode extension for bTeX.☆20Nov 24, 2023Updated 2 years ago
- ☆14May 19, 2024Updated 2 years ago
- MA4N1 Theorem Proving with Lean☆18Updated this week
- A Python package for generating and working with codemeta☆30Jul 28, 2026Updated last month
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 8 months ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Anki deck of Chinese poetry (诗词)☆35Jun 24, 2026Updated 2 months ago
- This repository contains machine-readable versions of the six German major parties' electoral programs for 2017 federal elections and cod…☆16Aug 31, 2017Updated 9 years ago
- ☆15Jul 29, 2026Updated last month
- Archlinux repository server & package build system, written in V (mirror)☆11Jul 17, 2023Updated 3 years ago
- Blazing-fast equality checks, minus the baggage. A lean, standalone alternative to Lodash’s isEqual - because speed matters.☆18Updated this week
- Build, release and deploy Flutter apps☆11May 20, 2026Updated 3 months ago
- An experimental prototype for gathering anonymous, opt-in usage data for open scientific software☆27Jul 23, 2015Updated 11 years ago
- Remote control app for your coding agents (OpenCode, Pi, Gemini, etc.)☆25Aug 25, 2026Updated last week
- Assert that a change you expected to happen, happened, with this chai plugin☆14May 22, 2017Updated 9 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.
- Plain is a minimalist, English-like programming language that makes coding feel like natural conversation. Write clear, readable programs…☆36Sep 6, 2025Updated last year
- A curated list of awesome resources for science and academia.☆25Oct 16, 2025Updated 10 months ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- nushell config☆15Jul 29, 2023Updated 3 years ago
- A clean and minimal template for your CV or résumé.☆13Apr 2, 2025Updated last year
- My bridge.☆19Mar 4, 2026Updated 6 months ago
- Connecting bv_decide to SMTLIB.☆17Aug 27, 2026Updated last week
- ☆15Oct 2, 2025Updated 11 months ago
- Application-aware switching layer for Kanata on Linux.☆13Jun 17, 2025Updated last year
- 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.
- Command line tool to run JavaScript, TypeScript or HTML files in the browser.☆13Aug 31, 2026Updated last week
- ☆14Nov 23, 2020Updated 5 years ago
- Getting Started with Jujutsu☆14May 7, 2025Updated last year
- A packaged version of pintora intended as a typst plugin.☆47Mar 24, 2025Updated last year
- Multi-arch Docker images for Idris 2☆13Jul 14, 2026Updated last month
- Learning globally stable dynamical systems policies through imitation. A modification of the original work, focussing on waypoint-based i…☆14Oct 12, 2024Updated last year
- A tool that automates the mundane tasks of pentesting Android apps. It uses APKTool and Dex2Jar.☆11May 29, 2020Updated 6 years ago