☆28Mar 1, 2026Updated 5 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:
- Create beautiful, customizable visualizations in React.☆17Nov 3, 2023Updated 2 years ago
- Contractual Semver☆28Apr 16, 2022Updated 4 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Cladistics Evolution Game - an educational tool for teaching about evolutionary relationships☆11Jul 24, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Utility functions to support analytics over FHIR in BigQuery or Apache Spark☆15Jan 8, 2024Updated 2 years ago
- z3-powered solver (theorem prover) for deal☆18Sep 28, 2023Updated 2 years ago
- A fully differentiable implementation of SHA256☆11Nov 12, 2021Updated 4 years ago
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated 2 years ago
- ☆11Sep 14, 2024Updated last year
- Python app for black-litterman portfolio optimisation☆10Dec 8, 2022Updated 3 years ago
- Literate Computing with Webstrates☆26Oct 6, 2018Updated 7 years ago
- A machine readable JSON QAnon dataset, archiving all QAnon drops for research only☆32Dec 9, 2025Updated 8 months ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years 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.
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- Notify Honeybadger about Haskell exceptions.☆12Aug 10, 2026Updated last week
- The TypeScript definition registry☆13Aug 1, 2017Updated 9 years ago
- Experiments on Causality & Reinforcement Learning☆10Mar 8, 2020Updated 6 years ago
- Adaptive fuzzing of Hypothesis tests☆122May 15, 2026Updated 3 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
- 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.
- 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.☆90Jun 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
- C++ Build Scripts☆13Jun 18, 2026Updated 2 months ago
- Tron wallet☆10Feb 11, 2022Updated 4 years ago
- [VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences☆12Sep 2, 2017Updated 8 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 last month
- 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.
- A mod that adds quartz to minetest.☆10Oct 2, 2024Updated last year
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆49Jul 30, 2026Updated 2 weeks ago
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 7 months ago
- Sample JavaFX WebView application for full featured debugging with Chrome Dev Tools☆14Jan 4, 2022Updated 4 years ago
- A collection LaTeX templates compatible with curvenote.com☆16Sep 15, 2022Updated 3 years ago
- Tools to collect detailed usage analytics of Idyll articles.☆15Nov 18, 2024Updated last year