☆29Mar 1, 2026Updated 7 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:
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Hypothesis strategies for various Pytorch structures (including tensors and modules).☆13Jun 29, 2026Updated 3 months ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- Contractual Semver☆28Apr 16, 2022Updated 4 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 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.
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Some practical gadgets. ✔☆11Sep 5, 2026Updated last month
- Gather for the Python Extension☆31Updated this week
- Utility functions to support analytics over FHIR in BigQuery or Apache Spark☆15Jan 8, 2024Updated 2 years ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆59Jan 23, 2025Updated last year
- A fully differentiable implementation of SHA256☆11Nov 12, 2021Updated 4 years ago
- ☆11Sep 14, 2024Updated 2 years ago
- A collection of notable radio frequencies near Philadelphia PA and beyond☆15Aug 23, 2018Updated 8 years ago
- A multiprocessing-friendly Python mock object☆10Aug 31, 2017Updated 9 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.
- Python app for black-litterman portfolio optimisation☆10Dec 8, 2022Updated 3 years ago
- 石蒜摇摇乐vscode插件☆13Aug 31, 2022Updated 4 years ago
- z3-powered solver (theorem prover) for deal☆20Sep 28, 2023Updated 3 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Subscribe URLs with custom UA, cookie and referer☆16May 18, 2017Updated 9 years ago
- A realworld implementation using purescript-deku☆10Apr 28, 2024Updated 2 years ago
- A corpus of Python programs annotated with contracts☆26Oct 16, 2025Updated last year
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 6 years ago
- ☆18Sep 6, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A pure-Python codified rant aspiring to a world where numbers and types can work together.☆49Sep 20, 2026Updated 3 weeks 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
- Simple HTML Generation for Python☆13Jul 26, 2026Updated 2 months ago
- Bad Apple, but braille.☆17Aug 20, 2020Updated 6 years ago
- Automatic-yet-customizable Graphical User Interface Generation for Ophyd Devices☆17Oct 9, 2026Updated last week
- ☆16May 10, 2017Updated 9 years ago
- [VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences☆12Sep 2, 2017Updated 9 years ago
- Modifying the Shiller CAPE Ratio to adjust for changing economic conditions.☆15Nov 5, 2022Updated 3 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 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.
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- A mod that adds quartz to minetest.☆10Oct 2, 2024Updated 2 years ago
- A Machine Learning tool to create the training dataset very quickly & easily by using a smart chrome extension☆14Feb 11, 2023Updated 3 years ago
- Specify contracts for FastAPI endpoints.☆25Jan 28, 2022Updated 4 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆48Oct 1, 2026Updated 2 weeks ago
- Combine contracts and automatic testing.☆92Jun 5, 2022Updated 4 years ago
- ☆12May 3, 2025Updated last year