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:
- ☆14Feb 28, 2025Updated last year
- ☆17Jul 24, 2025Updated 8 months ago
- A Python library that allows you to define abstract properties for dataclasses, bridging the gap between abstract base classes (ABCs) and…☆17Aug 29, 2025Updated 6 months ago
- CaΣoS is a nonlinear sum-of-squares optimization suite based on the symbolic framework of CasADi.☆20Mar 7, 2026Updated 2 weeks ago
- Conduit bindings for kafka-client☆19Oct 11, 2022Updated 3 years ago
- 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.
- Personal, Reactive, Open, Private, Secure. Own and control YOUR data.☆19May 21, 2015Updated 10 years ago
- A back-pressured rxpy extension☆29Nov 18, 2025Updated 4 months ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 4 months ago
- Vim style editor written in Racket☆14May 31, 2020Updated 5 years ago
- A monadic SQL-generating API in Python☆16Oct 27, 2017Updated 8 years ago
- Haskell charting library☆10Aug 21, 2021Updated 4 years ago
- ☆12Mar 13, 2025Updated last year
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 10 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- [ACL 2023] Code and data for our paper "Measuring Progress in Fine-grained Vision-and-Language Understanding"☆13Jun 11, 2023Updated 2 years ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 7 months ago
- ☆14Feb 23, 2026Updated last month
- Some functions to plot OpenFOAM data with Matplotlib☆11Apr 15, 2021Updated 4 years ago
- ☆12Jun 19, 2025Updated 9 months ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated last year
- C++ Club☆16Feb 26, 2026Updated last month
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆26Apr 21, 2023Updated 2 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- Competitive programming utilities in Haskell☆42Jan 11, 2026Updated 2 months ago
- Python library to convert dictionaries into valid XML. Supports namespaces.☆12Aug 31, 2020Updated 5 years ago
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 3 years ago
- Key-Value based in-memory cache library which supports Custom Expiration Policies☆22Apr 15, 2025Updated 11 months ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 6 years ago
- CI assistant☆49Jun 1, 2025Updated 9 months ago
- being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde☆13May 9, 2017Updated 8 years ago
- 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.
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- ABANDONED: Open source Chrome extension that restyles IETF RFCs for reading comfort☆31May 12, 2024Updated last year
- Haskell library for parsing v1.0 TOML files☆16Apr 22, 2025Updated 11 months ago
- Functors, Monads and Free Monads in C++☆20Jul 5, 2023Updated 2 years ago
- Bind The Gap: FP digital magazine☆21Jan 11, 2021Updated 5 years ago