A reimplementation of Thomas Andrews' Deal in Python.
☆75Oct 16, 2025Updated 9 months ago
Alternatives and similar repositories for redeal
Users that are interested in redeal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- algorithms for mass univariate regression☆13Aug 21, 2018Updated 7 years ago
- Git extensions to provide high-level repository operations for Vincent Driessen's branching model.☆17Sep 9, 2014Updated 11 years ago
- ☆20Oct 4, 2025Updated 9 months ago
- 通过触发抓取东方财富最新研报并发送到指定邮箱。☆10Jul 17, 2019Updated 7 years ago
- Data release for the evaluation of different training strategies for deep learning gravitational wave search algorithms.☆10Feb 22, 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.
- Qt based desktop application for stock market chart pattern recognition☆11Apr 16, 2019Updated 7 years ago
- Lookup and load installed OCaml modules☆17Jun 16, 2026Updated last month
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated last month
- Library of Coq proof automation☆16Apr 1, 2026Updated 3 months ago
- Lightning-fast news sites based on Python / Flask☆14May 31, 2026Updated last month
- Infrastructure setup.☆10Jul 27, 2019Updated 7 years ago
- OCaml library to work with colors on the web☆21Nov 22, 2024Updated last year
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 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.
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- Finite lazy enumerators in OCaml☆21Oct 19, 2018Updated 7 years ago
- ☆14Aug 22, 2021Updated 4 years ago
- Bitclamp allows arbitrary files to be permanently and anonymously published into the Bitcoin and Dogecoin blockchains.☆14Jan 12, 2017Updated 9 years ago
- Python helper for Google and IBM Watson speech-to-text cloud APIs.☆15Sep 9, 2023Updated 2 years ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆20Apr 1, 2021Updated 5 years ago
- strip tracking and syndicate google alerts☆12Jul 10, 2023Updated 3 years ago
- WigleAPI-JSON in PHP with JSON Response☆14Nov 18, 2013Updated 12 years ago
- [mirror] Email-based RSS digest generator☆23Feb 11, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Jan 22, 2020Updated 6 years ago
- Computer Modern web fonts with public CDN☆16Mar 11, 2025Updated last year
- PANDA 11th place solution☆13Sep 9, 2020Updated 5 years ago
- 这是一个百宝箱，前端的后端的，语言的算法的☆12Jun 6, 2026Updated last month
- IsarMathLib is a library of formalized mathematics for Isabelle/ZF.☆19Jul 15, 2026Updated 2 weeks ago
- Tool to create and edit Pikov pixel art Markov chain animations.☆18Jun 30, 2021Updated 5 years ago
- Multiple comint histories☆20Jun 8, 2026Updated last month
- Compliance tests for TOML parsers / writers☆21Aug 30, 2023Updated 2 years ago
- 一些研报的复现☆13Sep 11, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The code for DCASE2021 task5 submission.☆20Feb 21, 2022Updated 4 years ago
- ☆11Jul 19, 2020Updated 6 years ago
- The presentation at Spark Summit 2014 showing how 4Quant does production scale image processing and analysis using Spark☆16Jul 29, 2014Updated 12 years ago
- A library for printing OCaml values with sharing☆26Apr 1, 2022Updated 4 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated last year
- android open source auto DVR☆53Feb 6, 2019Updated 7 years ago
- A simple unary gRPC demo in Go and C#☆13Dec 15, 2016Updated 9 years ago