☆28Mar 1, 2026Updated 4 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
- Collection of Idris snippets☆25Dec 23, 2025Updated 7 months ago
- 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 石蒜摇摇乐vscode插件☆13Aug 31, 2022Updated 3 years ago
- A multiprocessing-friendly Python mock object☆10Aug 31, 2017Updated 8 years ago
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago
- ☆15Apr 13, 2026Updated 3 months ago
- Experiments on Causality & Reinforcement Learning☆10Mar 8, 2020Updated 6 years ago
- Adaptive fuzzing of Hypothesis tests☆122May 15, 2026Updated 2 months ago
- A trading strategy for prediction markets mediated by the logarithmic market scoring rule (LMSR) market maker☆12Apr 7, 2018Updated 8 years ago
- Prosecutor analytics resource & community☆15Mar 31, 2026Updated 3 months ago
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 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.
- ASCII art animation library in Javascript using Canvas☆12Sep 3, 2024Updated last year
- Combine contracts and automatic testing.☆90Jun 5, 2022Updated 4 years ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 6 years ago
- A command line tool to query source code from your current Python env☆17Jul 6, 2026Updated 3 weeks ago
- Hedge opportunities on PredictIt due to inefficient pricing in correlated markets☆14May 20, 2026Updated 2 months ago
- Cross-platform toolkit to enhance Claude Code with multi-LLM consensus, 8 specialist agents, semantic knowledge search, and one-command i…☆34Feb 16, 2026Updated 5 months ago
- Bad Apple, but braille.☆17Aug 20, 2020Updated 5 years ago
- [VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences☆12Sep 2, 2017Updated 8 years ago
- ☆16May 10, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- 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 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 21, 2026Updated last week
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 6 months ago
- Tools to collect detailed usage analytics of Idyll articles.☆15Nov 18, 2024Updated last year
- Portfolio Construction using Stratified Models☆13Mar 25, 2021Updated 5 years ago
- Faktory Worker for Haskell☆17Updated this week
- 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.
- Demo of using dom-anchor-text-quote to anchor annotations independently of the Hypothesis client☆12May 7, 2018Updated 8 years ago
- Alfred workflow for tracking habits with Habitica☆11Jan 1, 2019Updated 7 years ago
- A physically-based spinning top simulation.☆12Oct 15, 2022Updated 3 years ago
- Little developer/power tools.☆17Apr 25, 2024Updated 2 years ago
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆19Mar 4, 2026Updated 4 months ago
- Memory management and retrieval for Claude Code☆18Updated this week
- Get discount factors and zero rates from interest rate swaps☆11Mar 1, 2018Updated 8 years ago