☆29Mar 1, 2026Updated 6 months ago
Alternatives and similar repositories for tyche-extension
Users that are interested in tyche-extension are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Contractual Semver☆28Apr 16, 2022Updated 4 years ago
- Collection of Idris snippets☆25Dec 23, 2025Updated 9 months ago
- ☆10Jul 13, 2024Updated 2 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Cladistics Evolution Game - an educational tool for teaching about evolutionary relationships☆11Jul 24, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Some practical gadgets. ✔☆11Sep 5, 2026Updated 3 weeks ago
- z3-powered solver (theorem prover) for deal☆19Sep 28, 2023Updated 3 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Telegram bot to generate link preview for Sina Weibo.☆18Mar 29, 2021Updated 5 years ago
- ☆11Sep 14, 2024Updated 2 years ago
- Python app for black-litterman portfolio optimisation☆10Dec 8, 2022Updated 3 years ago
- 石蒜摇摇乐vscode插件☆13Aug 31, 2022Updated 4 years ago
- Literate Computing with Webstrates☆26Oct 6, 2018Updated 7 years ago
- Goja debugger's CLI frontend☆12Jan 20, 2023Updated 3 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.
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago
- The TypeScript definition registry☆13Aug 1, 2017Updated 9 years ago
- ☆15Apr 13, 2026Updated 5 months ago
- Adaptive fuzzing of Hypothesis tests☆124May 15, 2026Updated 4 months ago
- Create structured financial data in the form of tick, volume, and dollar bars from unstructured tick data. From Marcos Lopez de Prado's A…☆11Jan 26, 2021Updated 5 years ago
- A trading strategy for prediction markets mediated by the logarithmic market scoring rule (LMSR) market maker☆11Apr 7, 2018Updated 8 years ago
- Tax efficient ETF portfolio balancing☆11Sep 1, 2022Updated 4 years ago
- Prosecutor analytics resource & community☆15Mar 31, 2026Updated 5 months ago
- ASCII art animation library in Javascript using Canvas☆13Sep 3, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- a Complete Priest Pack! Supports Shadow, Holy and Disc with customizable settings. Additions? Ask on Discord☆10Nov 30, 2017Updated 8 years ago
- Combine contracts and automatic testing.☆92Jun 5, 2022Updated 4 years ago
- Modifying the Shiller CAPE Ratio to adjust for changing economic conditions.☆15Nov 5, 2022Updated 3 years ago
- Type definitions and low level interface implementations for the W3C WebSocket API☆12Apr 27, 2022Updated 4 years ago
- USTC 研究生课程信息和选课名单爬虫☆13Dec 8, 2022Updated 3 years ago
- C++ Build Scripts☆13Sep 8, 2026Updated 2 weeks ago
- A command line tool to query source code from your current Python env☆17Aug 5, 2026Updated last month
- Cross-platform toolkit to enhance Claude Code with multi-LLM consensus, 8 specialist agents, semantic knowledge search, and one-command i…☆35Feb 16, 2026Updated 7 months 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.
- Bad Apple, but braille.☆17Aug 20, 2020Updated 6 years ago
- This is a demo project to compare two web scrapping frameworks, Playwright and Selenium and using the new Pipelining tool Dagster☆15Sep 9, 2021Updated 5 years ago
- A grunt task which takes a html file, finds all the css, js links and images, and outputs a version with all the css, js and images (Base…☆12Jul 7, 2026Updated 2 months ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆48Jul 30, 2026Updated last month
- CloudGlance helps you Navigate your AWS Environments with ease. It is a single pane of glass for all your AWS credentials and bastion hos…☆13Feb 27, 2025Updated last year