Do notation in Python.
☆10Feb 22, 2021Updated 5 years ago
Alternatives and similar repositories for py_monad_do
Users that are interested in py_monad_do are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Jun 12, 2026Updated 4 months ago
- ☆14Feb 28, 2025Updated last year
- A Python library that allows you to define abstract properties for dataclasses, bridging the gap between abstract base classes (ABCs) and…☆17Aug 29, 2025Updated last year
- Conduit bindings for kafka-client☆20Oct 11, 2022Updated 4 years ago
- Rustica is a functional programming library for the Rust language.☆18Updated this week
- 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.
- Personal, Reactive, Open, Private, Secure. Own and control YOUR data.☆19May 21, 2015Updated 11 years ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 11 months ago
- A monadic SQL-generating API in Python☆16Oct 27, 2017Updated 9 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 11 years ago
- Vim style editor written in Racket☆14May 31, 2020Updated 6 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 8 years ago
- ☆12Mar 13, 2025Updated last year
- ☆14Aug 5, 2026Updated 3 months ago
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 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.
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 6 years ago
- Expressing and manipulating symbolic algebraic expressions in Racket.☆10Mar 31, 2018Updated 8 years ago
- CaΣoS is a nonlinear sum-of-squares optimization suite. It provides symbolic polynomial expressions, nonconvex optimization algorithms, a…☆21Updated this week
- A back-pressured rxpy extension☆31May 23, 2026Updated 5 months ago
- Haskell charting library☆10Aug 21, 2021Updated 5 years ago
- A fuzzer for SMT solvers☆23May 8, 2026Updated 6 months ago
- Some functions to plot OpenFOAM data with Matplotlib☆11Apr 15, 2021Updated 5 years ago
- WIP OpenBSD ports repository. Based on the public git conversion mirror of OpenBSD's official cvs ports repository.☆12Oct 27, 2026Updated last week
- ☆12Jun 19, 2025Updated last year
- 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.
- ☆14Apr 9, 2026Updated 6 months ago
- [ACL 2023] Code and data for our paper "Measuring Progress in Fine-grained Vision-and-Language Understanding"☆13Jun 11, 2023Updated 3 years ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated 2 years ago
- C++ Club☆16Oct 8, 2026Updated 3 weeks ago
- Key-Value based in-memory cache library which supports Custom Expiration Policies☆23Jul 11, 2026Updated 3 months ago
- Practical Alloy☆12Feb 28, 2025Updated last year
- Finite element beam model in Python☆11Nov 17, 2014Updated 11 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 28, 2026Updated 2 months ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 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.
- Competitive programming utilities in Haskell☆42Mar 29, 2026Updated 7 months ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 7 years ago
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 3 years ago
- Python library to convert dictionaries into valid XML. Supports namespaces.☆12Aug 31, 2020Updated 6 years ago
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- Bi-directional Lattice Recurrent Neural Networks for Confidence Estimation☆15Aug 28, 2020Updated 6 years ago