List of "Soylent-like" providers selling products to Europe
☆30Sep 15, 2023Updated 3 years ago
Alternatives and similar repositories for soylent-europe
Users that are interested in soylent-europe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Control your volume mixer on windows with Python 3☆53Dec 19, 2016Updated 9 years ago
- A curated list of information technology merchandise offerings that benefit original creators and projects☆15May 1, 2025Updated last year
- ☆13Apr 5, 2024Updated 2 years ago
- Python bindings to babeljs☆11Mar 16, 2018Updated 8 years ago
- A PostCSS plugin to replace `pointer: cursor` with `cursor: pointer`.☆16Jun 24, 2015Updated 11 years 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.
- Flask blueprint to connect to a MediaWiki OAuth server☆29Apr 27, 2020Updated 6 years ago
- ☆13Jul 27, 2026Updated 2 months ago
- Footlocker USA Sneaker Bot☆14Jul 22, 2023Updated 3 years ago
- GitHub star history graph☆13Sep 29, 2026Updated last week
- Retrieve the common prefix across multiple strings☆14Mar 9, 2016Updated 10 years ago
- A tool to capture USB transmission on PSP☆16Mar 11, 2015Updated 11 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- ☆10Oct 11, 2022Updated 3 years 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.
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A small (~900B gzip), useful set of methods for lazy iteration of iterables.☆12Updated this week
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 3 years ago
- A python library for checking if an email is issued by an academic institution. Useful for granting discounts, etc to academic users.☆15Feb 16, 2016Updated 10 years ago
- Look up an email address or a name on Nike Run Club (NRC)☆19Jun 10, 2024Updated 2 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- 3D generation stacking Conway Game of life written in C with the help of raylib.☆12May 31, 2024Updated 2 years ago
- userscript for showing Aliexpress Total Price☆27May 25, 2023Updated 3 years 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.
- Golang solver for the fastly bot management platform☆18Oct 13, 2025Updated 11 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 7 years ago
- IntelliJ IDEA plugin which converts your Scala code to a Kotlin one☆14Sep 25, 2018Updated 8 years ago
- Copy stdin to stdout and stderr, unbuffered☆13Nov 29, 2023Updated 2 years ago
- ☆12Sep 20, 2023Updated 3 years ago
- Simple to use wrapper around the private LinkedIn API, written in async Python.☆19Nov 28, 2021Updated 4 years ago
- Repository for opt-out requests.☆18Sep 25, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Generic Viterbi Path Searcher☆19Oct 21, 2019Updated 6 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- A Python client for the v3 DigitalNZ API☆16Oct 18, 2023Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- The dnbradio web-player☆12Aug 17, 2026Updated last month
- ☆13Oct 31, 2021Updated 4 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago