☆74Dec 6, 2024Updated last year
Alternatives and similar repositories for spd-starters
Users that are interested in spd-starters are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Documentation site for Scaffold-ETH 2☆21Updated this week
- DynOS 95 is built to improve the onboarding experience to web3☆11Apr 16, 2024Updated 2 years ago
- Systematic Program Design (all 3 parts)☆12Jun 6, 2020Updated 6 years ago
- ☆14Dec 13, 2024Updated last year
- Visualizes top 1000 members on servers with the Mee6 bot☆14Jul 20, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A skeleton project for quickly getting a new cisagov Docker container started.☆22Updated this week
- ☆18Jun 4, 2023Updated 3 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆41Aug 10, 2026Updated last week
- Linux daemon to bind touchpad gestures to shell commands.☆11Jun 25, 2024Updated 2 years ago
- Python Script to scrape through MIT OpenCourseWare website to download Course Materials.☆13Apr 6, 2017Updated 9 years ago
- ☆13Jun 25, 2026Updated last month
- A simple dictionary application written in Rust☆13May 9, 2020Updated 6 years ago
- A repo for books by L. V. Tarasov☆13May 27, 2015Updated 11 years ago
- ☆24Dec 2, 2025Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- AutoReVanced is a Python script designed to automate the process of downloading and patching APKs (Android application packages) with ReV…☆11Jun 16, 2024Updated 2 years ago
- Nacho is a zk rollup where you can bridge and swap tokens.☆20May 10, 2024Updated 2 years ago
- fzf cli for paru☆15Oct 22, 2021Updated 4 years ago
- ☆33Sep 21, 2024Updated last year
- Metamath in C++☆14Jun 4, 2019Updated 7 years ago
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated 7 months ago
- 🧮 Path to a free self-taught education in Mathematics!☆9,018Aug 8, 2026Updated last week
- spinningnumbers.org☆15Mar 24, 2026Updated 4 months ago
- Make/Encode some basic logic puzzles☆20Jul 10, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Assist user in running ethereum node☆31Updated this week
- Ported core scripts of HyDE .☆11Jan 13, 2026Updated 7 months ago
- Lean Theorem Prover plugin for Vim.☆16Oct 24, 2021Updated 4 years ago
- ☆24Jan 5, 2026Updated 7 months ago
- VSCode plugin for Standard ML☆40Mar 8, 2024Updated 2 years ago
- ☆11Dec 16, 2024Updated last year
- Web interface for pcs☆23Aug 3, 2026Updated 2 weeks ago
- Manage your scripts and snippets, share them and run programming languages as scripts☆14Updated this week
- A set of tools that make working with the Scala ecosystem even better.☆15Aug 10, 2026Updated last week
- 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.
- Short Emacs like editor (pronounce like shmaks or cyrillic шмакс)☆15May 16, 2026Updated 3 months ago
- Reviewing some online CS courses I took☆356Dec 7, 2025Updated 8 months ago
- Extensions for create-eth (npx tool for Scaffold-ETH)☆50Jun 5, 2026Updated 2 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Password generation from the menu bar☆12Oct 8, 2021Updated 4 years ago
- Mathematical notes and papers☆28Jun 15, 2026Updated 2 months ago
- Emacs, Rewired☆19May 30, 2026Updated 2 months ago